Fragments of complete extensions of PA and McDowell-Specker's theorem.
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Milan Z. Grulović (2007)
Publications de l'Institut Mathématique
Similarity:
G. Kreisel, Hao Wang (1958)
Fundamenta Mathematicae
Similarity:
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Similarity:
W. Marek, Paweł Zbierski (1980)
Fundamenta Mathematicae
Similarity:
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
Paola D'Aquino, Julia F. Knight (2007)
Fundamenta Mathematicae
Similarity:
McAloon showed that if 𝓐 is a nonstandard model of IΔ₀, then some initial segment of 𝓐 is a nonstandard model of PA. Sommer and D'Aquino characterized, in terms of the Wainer functions, the elements that can belong to such an initial segment. The characterization used work of Ketonen and Solovay, and Paris. Here we give conditions on a model 𝓐 of IΔ₀ guaranteeing that there is an n-elementary initial segment that is a nonstandard model of PA. We also characterize the elements that...
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
Henryk Kotlarski (1983)
Fundamenta Mathematicae
Similarity: