More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic

被引：0
|
作者：
Schmerl, James H. [1 ]
机构：
[1] Univ Connecticut, Dept Math, Storrs, CT 06269 USA
来源：
NOTRE DAME JOURNAL OF FORMAL LOGIC | 2018年 / 59卷 / 04期
关键词：
Peano Arithmetic; Thin Set Theorem; automorphisms; arithmetic saturation;
D O I：
10.1215/00294527-2018-0009
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
There is an infinite set T of Turing-equivalent completions of Peano Arithmetic (PA) such that whenever M and N are nonisomorphic countable, arithmetically saturated models of PA and Th(M), Th(N) is an element of T, then Aut(M) congruent to Aut(N).
引用
收藏
页码：491 / 496
页数：6
相关论文
共 50 条
  • [41] On end extensions of models of subsystems of peano arithmetic
    Dimitracopoulos, C
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 257 (1-2) : 79 - 84
  • [42] THE PENTAGON AS A SUBSTRUCTURE LATTICE OF MODELS OF PEANO ARITHMETIC
    Schmerl, James H.
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2024,
  • [43] Automorphism groups of polycyclic-by finite groups and arithmetic groups
    Baues, Oliver
    Grunewald, Fritz
    [J]. PUBLICATIONS MATHEMATIQUES DE L'IHES, NO 104, 2006, (104): : 213 - 268
  • [44] Automorphism groups of polycyclic-by-finite groups and arithmetic groups
    Baues O.
    Grunewald F.
    [J]. Publications Mathématiques de l'Institut des Hautes Études Scientifiques, 2006, 104 (1): : 213 - 268
  • [45] FINITE SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC
    SCHMERL, JH
    [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1993, 117 (03) : 833 - 838
  • [46] ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC
    Galeotti, Lorenzo
    Loewe, Benedikt
    [J]. BULLETIN OF SYMBOLIC LOGIC, 2022, 28 (02) : 182 - 206
  • [47] The poset of copies for automorphism groups of countable relational structures
    Laflamme, Claude
    Pouzet, Maurice
    Sauer, Norbert
    Woodrow, Robert
    [J]. Journal of Multiple-Valued Logic and Soft Computing, 2021, 36 (04) : 353 - 381
  • [48] The conjugacy problem for automorphism groups of countable homogeneous structures
    Coskey, Samuel
    Ellis, Paul
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2016, 62 (06) : 580 - 589
  • [49] The Poset of Copies for Automorphism Groups of Countable Relational Structures
    Laflamme, Claude
    Pouzet, Maurice
    Sauer, Norbert
    Woodrow, Robert
    [J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2021, 36 (4-5) : 353 - 381
  • [50] EXPANDABILITY OF INITIAL SEGMENTS OF MODELS OF PEANO ARITHMETIC
    KOTLARSKI, H
    MURAWSKI, R
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 396 - 396
12345