PARTIAL SATURATION OF NONSTANDARD MODELS OF ARITHMETIC

被引：0

|

作者：

MIJAJLOVIC, Z

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1983年 / 48卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1212 / 1213

页数：2

相关论文

共 50 条

[21] NONSTANDARD SYNTAX AND SEMANTICS AND FULL SATISFACTION CLASSES FOR MODELS OF ARITHMETIC
SMITH, ST
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 497 - 497
[22] SATURATION AND SIMPLE EXTENSIONS OF MODELS OF PEANO ARITHMETIC
KAUFMANN, M
SCHMERL, JH
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1984, 27 (02) : 109 - 136
[23] INCONSISTENT NONSTANDARD ARITHMETIC
MORTENSEN, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (02) : 512 - 518
[24] THE BASS-MILNOR-SERRE THEOREM FOR NONSTANDARD MODELS IN PEANO ARITHMETIC
KHELIF, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (04) : 1451 - 1458
[25] REMARKS ON WEAK NOTIONS OF SATURATION IN MODELS OF PEANO ARITHMETIC
KAUFMANN, M
SCHMERL, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 129 - 148
[26] Nonstandard arithmetic and recursive comprehension
Keisler, H. Jerome
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (08) : 1047 - 1062
[27] NONSTANDARD ARITHMETIC OF HILBERT SUBSETS
YASUMOTO, M
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1991, 52 (1-2) : 195 - 202
[28] THE STRENGTH OF NONSTANDARD METHODS IN ARITHMETIC
HENSON, CW
KAUFMANN, M
KEISLER, HJ
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1039 - 1058
[29] CYCLIC ISOGENIES AND NONSTANDARD ARITHMETIC
FREY, G
[J]. JOURNAL OF NUMBER THEORY, 1980, 12 (03) : 343 - 363
[30] NONSTANDARD ARITHMETIC OF ITERATED POLYNOMIALS
YASUMOTO, M
[J]. MANUSCRIPTA MATHEMATICA, 1990, 66 (03) : 227 - 235

← 1 2 3 4 5 →