Journal of Symbolic Logic 52 (3):842-863 (1987)
AbstractWe prove results about nonstandard formulas in models of Peano arithmetic which complement those of Kotlarski, Krajewski, and Lachlan in [KKL] and [L]. This enables us to characterize both recursive saturation and resplendency in terms of statements about nonstandard sentences. Specifically, a model M of PA is recursively saturated iff M is nonstandard and M-logic is consistent.M is resplendent iff M is nonstandard, M-logic is consistent, and every sentence φ which is consistent in M-logic is contained in a full satisfaction class for M. Thus, for models of PA, recursive saturation can be expressed by a (standard) Σ 1 1 -sentence and resplendency by a ▵ 1 2 -sentence
Similar books and articles
Standard Sets in Nonstandard Set Theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
A Recursive Nonstandard Model of Normal Open Induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Transfer Principles in Nonstandard Intuitionistic Arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Elementary Extensions of External Classes in a Nonstandard Universe.Vladimir Kanovei & Michael Reeken - 1998 - Studia Logica 60 (2):253-273.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Added to PP
Historical graph of downloads
Citations of this work
Interpreting the compositional truth predicate in models of arithmetic.Cezary Cieśliński - 2021 - Archive for Mathematical Logic 60 (6):749-770.
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag. pp. 339-354.