AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC

被引：1

作者：

Schmerl, James H. ^{[1
]}

机构：

[1] Univ Connecticut, Dept Math, Storrs, CT 06269 USA

来源：

JOURNAL OF SYMBOLIC LOGIC | 2015年 / 80卷 / 04期

关键词：

Peano Arithmetic; arithmetically saturated; automorphism group; EXTENSIONS;

D O I：

10.1017/jsl.2015.1

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

If M, N are countable, arithmetically saturated models of Peano Arithmetic and Aut(M) congruent to Aut(N), then the Turing-jumps of Th(M) and Th(N) are recursively equivalent.

引用

页码：1411 / 1434

页数：24

共 50 条

[1] 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
[2] On interstices of countable arithmetically saturated models of Peano Arithmetic
Bamber, N
Kotlarski, H
[J]. MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (04) : 525 - 540
[3] AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC
Nurkhaidarov, Ermek S.
Schmerl, James H.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (02) : 561 - 584
[4] The automorphism group of an arithmetically saturated model of Peano Arithmetic
Kossak, R
Schmerl, JH
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1995, 52 : 235 - 244
[5] 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
[6] Automorphism groups of arithmetically saturated models
Nurkhaidarov, ES
[J]. JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) : 203 - 216
[7] Automorphism groups of models of Peano arithmetic
Schmerl, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1249 - 1264
[8] SATURATED MODELS OF PEANO ARITHMETIC
PABION, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 625 - 637
[9] SOME ORDERINGS OF THE CLASS OF COUNTABLE MODELS OF PEANO ARITHMETIC
HAJEK, P
PUDLAK, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 693 - 694
[10] On two questions concerning the automorphism groups of countable recursively saturated models of PA
Kossak, R
Bamber, N
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 1996, 36 (01) : 73 - 79

← 1 2 3 4 5 →