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 条

[1] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC - ADDENDUM
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 493 - 494
[2] AUTOMORPHISMS OF RECURSIVELY SATURATED MODELS OF ARITHMETIC
KAYE, R
KOSSAK, R
KOTLARSKI, H
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1991, 55 (01) : 67 - 99
[3] THE RECURSIVELY SATURATED PART OF MODELS OF PEANO ARITHMETIC
KOTLARSKI, H
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (04): : 365 - 370
[4] ON ELEMENTARY CUTS IN RECURSIVELY SATURATED MODELS OF PEANO ARITHMETIC
KOTLARSKI, H
[J]. FUNDAMENTA MATHEMATICAE, 1984, 120 (03) : 205 - 222
[5] OMEGA-1-LIKE RECURSIVELY SATURATED MODELS OF PRESBURGER ARITHMETIC
HARNIK, V
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 421 - 429
[6] DEGREES OF RECURSIVELY SATURATED MODELS
MACINTYRE, A
MARKER, D
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 282 (02) : 539 - 554
[7] Decoding in the automorphism group of a recursively saturated model of arithmetic
Nurkhaidarov, Ermek
[J]. MATHEMATICAL LOGIC QUARTERLY, 2015, 61 (03) : 179 - 188
[8] STRONG NONSTANDARD MODELS OF ARITHMETIC
SOPRUNOV, SF
[J]. DOKLADY AKADEMII NAUK SSSR, 1975, 220 (02): : 293 - 296
[9] STRUCTURE OF NONSTANDARD MODELS OF ARITHMETIC
PHILLIPS, RG
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 27 (02) : 359 - +
[10] AMALGAMATION OF NONSTANDARD MODELS OF ARITHMETIC
BLASS, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 372 - 386

← 1 2 3 4 5 →