ISOLATION OF TYPES IN ARITHMETIC

被引：0

|

作者：

JENSEN, DC ^{[1
]}

机构：

[1] UNIV WATERLOO,DEPT ANAL & COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1973年 / 20卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：A340 / A340

页数：1

相关论文

共 50 条

[1] ARITHMETIC AND THE THEORY OF TYPES
BOFFA, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 621 - 624
[2] TYPES OF TESTS IN ARITHMETIC
WILSON, GM
[J]. EDUCATION, 1960, 80 (08): : 493 - 494
[3] TYPES OF ARITHMETIC NEEDED IN CERTAIN TYPES OF SALESMANSHIP
Woody, Clifford
[J]. ELEMENTARY SCHOOL JOURNAL, 1922, 22 (07): : 505 - 520
[4] ORDERINGS OF TYPES OF COUNTABLE ARITHMETIC
POTTHOFF, K
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (02): : 97 - 108
[5] ULTRAFILTERS AND TYPES ON MODELS OF ARITHMETIC
KIRBY, LAS
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1984, 27 (03) : 215 - 252
[6] CERTAIN TYPES AND MODELS FOR ARITHMETIC
BLASS, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 151 - 162
[7] Arithmetic properties of equivariant birational types
Andrew Kresch
Yuri Tschinkel
[J]. Research in Number Theory, 2021, 7
[8] COMPUTABLE FUNCTIONALS AND ARITHMETIC OF ORDINAL TYPES
GANOV, VA
[J]. SIBERIAN MATHEMATICAL JOURNAL, 1986, 27 (04) : 502 - 510
[9] ORDER TYPES OF NONSTANDARD MODELS OF ARITHMETIC
CHARRETTON, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 426 - 426
[10] TYPES OMITTED IN UNCOUNTABLE MODELS OF ARITHMETIC
KNIGHT, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (03) : 317 - 320

← 1 2 3 4 5 →