SATURATED MODELS OF PEANO ARITHMETIC

被引：14

|

作者：

PABION, JF

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1982年 / 47卷 / 03期

关键词：

D O I：

10.2307/2273592

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：625 / 637

页数：13

相关论文

共 50 条

[1] 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
[2] AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC
Nurkhaidarov, Ermek S.
Schmerl, James H.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (02) : 561 - 584
[3] Elementary Cuts in Saturated Models of Peano Arithmetic
Schmerl, James H.
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2012, 53 (01) : 1 - 13
[4] Some highly saturated models of Peano arithmetic
Schmerl, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1265 - 1273
[5] ON ELEMENTARY CUTS IN RECURSIVELY SATURATED MODELS OF PEANO ARITHMETIC
KOTLARSKI, H
[J]. FUNDAMENTA MATHEMATICAE, 1984, 120 (03) : 205 - 222
[6] On interstices of countable arithmetically saturated models of Peano Arithmetic
Bamber, N
Kotlarski, H
[J]. MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (04) : 525 - 540
[7] AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC
Schmerl, James H.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2015, 80 (04) : 1411 - 1434
[8] More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic
Schmerl, James H.
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2018, 59 (04) : 491 - 496
[9] ILLUSORY MODELS OF PEANO ARITHMETIC
Kikuchi, Makoto
Kurahashi, Taishi
[J]. JOURNAL OF SYMBOLIC LOGIC, 2016, 81 (03) : 1163 - 1175
[10] On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
Bigorajska, T
Kotlarski, H
Schmerl, JH
[J]. FUNDAMENTA MATHEMATICAE, 1998, 158 (02) : 125 - 146

← 1 2 3 4 5 →