On Cofinal Submodels and Elementary Interstices

We prove a number of results concerning the variety of first-order theories and isomorphism types of pairs of the form .N;M/, where N is a countable recursively saturated model of Peano Arithmetic and M is its cofinal submodel. We identify two new isomorphism invariants for such pairs. In the strongest result we obtain continuum many theories of such pairs with the fixed greatest common initial segment of N andM and fixed lattice of interstructures K, such thatM K N .

[1]  James H. Schmerl.  Elementary Cuts in Saturated Models of Peano Arithmetic , 2012, Notre Dame J. Formal Log..

[2]  H. Kotlarski,et al.  More on extending automorphisms of models of Peano Arithmetic , 2008 .

[3]  James H. Schmerl,et al.  The Structure of Models of Peano Arithmetic , 2006 .

[4]  James H. Schmerl,et al.  Arithmetically Saturated Models of Arithmetic , 1995, Notre Dame J. Formal Log..

[5]  Craig Smorynski.  A note on initial segment constructions in recursively saturated models of arithmetic , 1982, Notre Dame J. Formal Log..

[6]  Teresa Bigorajska.  Strongly maximal subgroups determined by elements in interstices , 2003, Math. Log. Q..

[7]  Roman Kossak.  A note on a theorem of Kanovei , 2004, Arch. Math. Log..

[8]  Richard Kaye,et al.  Truth in generic cuts , 2010, Ann. Pure Appl. Log..

[9]  Roman Kossak.  Models with the omega-Property , 1989, J. Symb. Log..

[10]  Roman Kossak.  A note on satisfaction classes , 1985, Notre Dame J. Formal Log..

[11]  A. Ehrenfeucht,et al.  Some problem in elementary arithmetics , 1976 .

[12]  James H. Schmerl,et al.  On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA , 1993, Ann. Pure Appl. Logic.

[13]  Craig Smorynski.  Elementary extensions of recursively saturated models of arithmetic , 1981, Notre Dame J. Formal Log..

[14]  Jan Krajícek,et al.  On the structure of initial segments of models of arithmetic , 1989, Arch. Math. Log..

[15]  Stephen G. Simpson,et al.  Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.

[16]  Craig Smorynski.  Cofinal extensions of nonstandard models of arithmetic , 1981, Notre Dame J. Formal Log..

[17]  Haim Gaifman,et al.  Models and types of Peano's arithmetic , 1976 .

[18]  Henryk Kotlarski,et al.  On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic , 1997, Math. Log. Q..