Solovay's theorem cannot be simplified
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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesAlex 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,368 of 549,078 )Recent downloads (6 months)1 ( #63,317 of 549,078 )How can I increase my downloads? |
My notes
Discussion
