RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC

被引：25

|

作者：

SMORYNSKI, C ^{[1
]}

机构：

[1] UNIV HEIDELBERG,D-6900 HEIDELBERG 1,FED REP GER

来源：

JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 02期

关键词：

D O I：

10.2307/2273620

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：259 / 286

页数：28

相关论文

共 50 条

[21] ON SOME PROPERTIES OF RECURSIVELY SATURATED MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 695 - 695
[22] RESULTS ON AUTOMORPHISMS OF RECURSIVELY SATURATED MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 325 - 325
[23] RECURSIVELY SATURATED MODELS OF SET-THEORY
SCHLIPF, JS
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 80 (01) : 135 - 142
[24] ADDITION IN NONSTANDARD MODELS OF ARITHMETIC - PRELIMINARY REPORT
PHILLIPS, RG
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 758 - &
[25] Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic
Nurkhaidarov, Ermek S.
Shochat, Erez
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2011, 52 (03) : 315 - 329
[26] NONSTANDARD MODELS FOR A FRAGMENT OF ARITHMETIC AND THEIR DECISION PROBLEM
GARRO, I
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 318 - 319
[27] NONSTANDARD MODELS FOR A FRAGMENT OF THE ARITHMETIC AND THEIR DECISION PROBLEM
GARRO, I
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (06): : 481 - 483
[28] SATURATED MODELS OF PEANO ARITHMETIC
PABION, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 625 - 637
[29] NONSTANDARD ARITHMETIC AND NONSTANDARD ANALYSIS
BARWISE, KJ
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A339 - A339
[30] On external Scott algebras in nonstandard models of Peano arithmetic
Kanovei, V
[J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (02) : 586 - 607

← 1 2 3 4 5 →