Some remarks on initial segments in models of peano arithmetic

Journal of Symbolic Logic 49 (3):955-960 (1984)
  Copy   BIBTEX

Abstract

If $M \models PA (= Peano Arithmetic)$ , we set $A^M = \{N \subset_e M: N \models PA\}$ and study this family

Categories

Keywords

Reprint years

DOI

10.2307/2274150

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

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

Automorphism Groups of Saturated Models of Peano Arithmetic.Ermek S. Nurkhaidarov & James H. Schmerl - 2014 - Journal of Symbolic Logic 79 (2):561-584.
Nonstandard models that are definable in models of Peano Arithmetic.Kazuma Ikeda & Akito Tsuboi - 2007 - Mathematical Logic Quarterly 53 (1):27-37.
Elementary Cuts in Saturated Models of Peano Arithmetic.James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (1):1-13.
The Pentagon as a Substructure Lattice of Models of Peano Arithmetic.James H. Schmerl - forthcoming - Journal of Symbolic Logic:1-20.
Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic.James H. Schmerl - 2015 - Journal of Symbolic Logic 80 (4):1411-1434.
Interstitial and pseudo gaps in models of Peano Arithmetic.Ermek S. Nurkhaidarov - 2010 - Mathematical Logic Quarterly 56 (2):198-204.
Expanding the additive reduct of a model of Peano arithmetic.Masahiko Murakami & Akito Tsuboi - 2003 - Mathematical Logic Quarterly 49 (4):363-368.
Illusory models of peano arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Symbolic Logic 81 (3):1163-1175.
Relatively Recursively Enumerable Versus Relatively Σ1 in Models of Peano Arithmetic.Grzegorz Michalski - 1995 - Mathematical Logic Quarterly 41 (4):515-522.

Analytics

Added to PP
2009-01-28

Downloads
228 (#113,263)

6 months
4 (#1,246,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generic cuts in models of arithmetic.Richard Kaye - 2008 - Mathematical Logic Quarterly 54 (2):129-144.
Truth in generic cuts.Richard Kaye & Tin Lok Wong - 2010 - Annals of Pure and Applied Logic 161 (8):987-1005.

Add more citations

References found in this work

No references found.

Add more references