On interstices of countable arithmetically saturated models of Peano arithmetic

&
Mathematical Logic Quarterly 43 (4):525-540 (1997)
  Copy   BIBTEX

Abstract

We give some information about the action of Aut on M, where M is a countable arithmetically saturated model of Peano Arithmetic. We concentrate on analogues of moving gaps and covering gaps inside M

Categories

Keywords

Reprint years

DOI

10.1002/malq.19970430408

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interstitial and pseudo gaps in models of Peano Arithmetic.Ermek S. Nurkhaidarov - 2010 - Mathematical Logic Quarterly 56 (2):198-204.
Automorphism Groups of Arithmetically Saturated Models.Ermek S. Nurkhaidarov - 2006 - Journal of Symbolic Logic 71 (1):203 - 216.
Decoding in the automorphism group of a recursively saturated model of arithmetic.Ermek Nurkhaidarov - 2015 - Mathematical Logic Quarterly 61 (3):179-188.
Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic.James H. Schmerl - 2015 - Journal of Symbolic Logic 80 (4):1411-1434.
Moving Intersticial Gaps.James H. Schmerl - 2002 - Mathematical Logic Quarterly 48 (2):283-296.
More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic.James H. Schmerl - 2018 - Notre Dame Journal of Formal Logic 59 (4):491-496.
Strongly maximal subgroups determined by elements in interstices.Teresa Bigorajska - 2003 - Mathematical Logic Quarterly 49 (1):101-108.
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.Roman Kossak - 1997 - Logic Journal of the IGPL 5 (6):787-794.
A Galois correspondence for countable short recursively saturated models of PA.Erez Shochat - 2010 - Mathematical Logic Quarterly 56 (3):228-238.
Arithmetically Saturated Models of Arithmetic.Roman Kossak & James H. Schmerl - 1995 - Notre Dame Journal of Formal Logic 36 (4):531-546.

Analytics

Added to PP
2013-10-31

Downloads
68 (#245,849)

6 months
9 (#355,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Automorphism Groups of Arithmetically Saturated Models.Ermek S. Nurkhaidarov - 2006 - Journal of Symbolic Logic 71 (1):203 - 216.
Moving Intersticial Gaps.James H. Schmerl - 2002 - Mathematical Logic Quarterly 48 (2):283-296.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
Interstitial and pseudo gaps in models of Peano Arithmetic.Ermek S. Nurkhaidarov - 2010 - Mathematical Logic Quarterly 56 (2):198-204.

View all 13 citations / Add more citations

References found in this work

Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.

Add more references