Journal of Symbolic Logic 61 (2):586-607 (1996)
We prove that a necessary and sufficient condition for a countable set L of sets of integers to be equal to the algebra of all sets of integers definable in a nonstandard elementary extension of ω by a formula of the PA language which may include the standardness predicate but does not contain nonstandard parameters, is as follows: L is closed under arithmetical definability and contains 0 (ω) , the set of all (Gödel numbers of) true arithmetical sentences. Some results related to definability of sets of integers in elementary extensions of ω are included
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Extending Standard Models of ZFC to Models of Nonstandard Set Theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Nonstandard Characterizations of Recursive Saturation and Resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.
On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
A Model of Peano Arithmetic with No Elementary End Extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
Inconsistent Nonstandard Arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Solovay's Theorem Cannot Be Simplified.Andrew Arana - 2001 - Annals of Pure and Applied Logic 112 (1):27-41.
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Elementary Extensions of External Classes in a Nonstandard Universe.Vladimir Kanovei & Michael Reeken - 1998 - Studia Logica 60 (2):253-273.
Uniqueness, Collection, and External Collapse of Cardinals in Ist and Models of Peano Arithmetic.V. Kanovei - 1995 - Journal of Symbolic Logic 60 (1):318-324.
Added to index2009-01-28
Total downloads10 ( #427,259 of 2,158,385 )
Recent downloads (6 months)1 ( #355,511 of 2,158,385 )
How can I increase my downloads?