Solovay's theorem cannot be simplified
Graduate studies at Western
Annals of Pure and Applied Logic 112 (2001)
|Abstract||In this paper we consider three potential simplifications to a result of Solovay’s concerning the Turing degrees of nonstandard models of arbitrary completions of first-order Peano Arithmetic (PA). Solovay characterized the degrees of nonstandard models of completions T of PA, showing that they are the degrees of sets X such that there is an enumeration R ≤T X of an “appropriate” Scott set and there is a family of functions (tn)n∈ω, ∆0 n(X) uniformly in n, such that lim tn(s) s→∞.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
Alex M. McAllister (1998). Completions of PA: Models and Enumerations of Representable Sets. Journal of Symbolic Logic 63 (3):1063-1082.
Dick H. J. Jongh (1987). A Simplification of a Completeness Proof of Guaspari and Solovay. Studia Logica 46 (2):187 - 192.
Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.
Peter Clote (1984). A Recursion Theoretic Analysis of the Clopen Ramsey Theorem. Journal of Symbolic Logic 49 (2):376-400.
Joel David Hamkins (1999). Gap Forcing: Generalizing the Lévy-Solovay Theorem. Bulletin of Symbolic Logic 5 (2):264-272.
Janusz Pawlikowski (1986). Why Solovay Real Produces Cohen Real. Journal of Symbolic Logic 51 (4):957-968.
Vladimir Kanovei (1997). An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model. Journal of Symbolic Logic 62 (4):1333-1351.
Andrew Arana (2004). Arithmetical Independence Results Using Higher Recursion Theory. Journal of Symbolic Logic 69 (1):1-8.
Dick Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51 - 69.
Andrew Arana (2005). Possible M-Diagrams of Models of Arithmetic. In Stephen Simpson (ed.), Reverse Mathematics 2001.
Added to index2009-01-28
Total downloads5 ( #170,097 of 739,319 )
Recent downloads (6 months)1 ( #61,243 of 739,319 )
How can I increase my downloads?