共 50 条
- [2] NONSTANDARD ARITHMETIC AND NONSTANDARD ANALYSIS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A339 - A339
- [3] NONSTANDARD ARITHMETIC [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1967, 73 (06) : 818 - &
- [5] STRONG NONSTANDARD MODELS OF ARITHMETIC [J]. DOKLADY AKADEMII NAUK SSSR, 1975, 220 (02): : 293 - 296
- [6] Nonstandard arithmetic and recursive comprehension [J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (08) : 1047 - 1062
- [8] AMALGAMATION OF NONSTANDARD MODELS OF ARITHMETIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 372 - 386
- [9] ADDITION IN NONSTANDARD MODELS OF ARITHMETIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (03) : 483 - 486
- [10] THE STRENGTH OF NONSTANDARD METHODS IN ARITHMETIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1039 - 1058