共 50 条
- [1] NONSTANDARD ARITHMETIC AND NONSTANDARD ANALYSIS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A339 - A339
- [3] STRONG NONSTANDARD MODELS OF ARITHMETIC [J]. DOKLADY AKADEMII NAUK SSSR, 1975, 220 (02): : 293 - 296
- [4] Nonstandard arithmetic and recursive comprehension [J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (08) : 1047 - 1062
- [5] NONSTANDARD ARITHMETIC OF HILBERT SUBSETS [J]. ANNALS OF PURE AND APPLIED LOGIC, 1991, 52 (1-2) : 195 - 202
- [7] AMALGAMATION OF NONSTANDARD MODELS OF ARITHMETIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 372 - 386
- [8] ADDITION IN NONSTANDARD MODELS OF ARITHMETIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (03) : 483 - 486
- [9] THE STRENGTH OF NONSTANDARD METHODS IN ARITHMETIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1039 - 1058
- [10] CYCLIC ISOGENIES AND NONSTANDARD ARITHMETIC [J]. JOURNAL OF NUMBER THEORY, 1980, 12 (03) : 343 - 363