Models of Peano Arithmetic

Clarendon Press (1991)
  Copy   BIBTEX

Abstract

An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,174

External links

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

Through your library

Similar books and articles

Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Model-Theoretic Properties Characterizing Peano Arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
Book Review: Richard Kaye. Models of Peano Arithmetic. [REVIEW]Lawrence Kiry - 1992 - Notre Dame Journal of Formal Logic 33 (3):461-463.
Regularity in Models of Arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Saturated Models of Peano Arithmetic.J. F. Pabion - 1982 - Journal of Symbolic Logic 47 (3):625-637.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Elementary Cuts in Saturated Models of Peano Arithmetic.James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (1):1-13.

Analytics

Added to PP
2011-03-20

Downloads
18 (#607,158)

6 months
7 (#107,545)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
(Probably) Not Companions in Guilt.Sharon Berry - 2018 - Philosophical Studies 175 (9):2285-2308.
From Numerical Concepts to Concepts of Number.Lance J. Rips, Amber Bloomfield & Jennifer Asmuth - 2008 - Behavioral and Brain Sciences 31 (6):623-642.

View all 84 citations / Add more citations

References found in this work

No references found.

Add more references