Journal of Symbolic Logic 43 (3):563-567 (1978)

Abstract
We construct a model of Peano arithmetic in an uncountable language which has no elementary end extension. This answers a question of Gaifman and contrasts with the well-known theorem of MacDowell and Specker which states that every model of Peano arithmetic in a countable language has an elementary end extension. The construction employs forcing in a nonstandard model
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273532
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,261
Through your library

References found in this work BETA

Models and Types of Peano's Arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.

Add more references

Citations of this work BETA

Models of Expansions of Equation Image with No End Extensions.Saharon Shelah - 2011 - Mathematical Logic Quarterly 57 (4):341-365.
Minimal Elementary Extensions of Models of Set Theory and Arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.

Add more citations

Similar books and articles

Torre Models in the Isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
Blunt and Topless End Extensions of Models of Set Theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
On Certain Types and Models for Arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Power-Like Models of Set Theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
End Extensions and Numbers of Countable Models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
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.

Analytics

Added to PP index
2009-01-28

Total views
14 ( #712,936 of 2,455,789 )

Recent downloads (6 months)
1 ( #449,201 of 2,455,789 )

How can I increase my downloads?

Downloads

My notes