Models of arithmetic and upper Bounds for arithmetic sets
Journal of Symbolic Logic 59 (3):977-983 (1994)
| Abstract | We settle a question in the literature about degrees of models of true arithmetic and upper bounds for the arithmetic sets. We prove that there is a model of true arithmetic whose degree is not a uniform upper bound for the arithmetic sets. The proof involves two forcing constructions | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMichael Potter (1998). Classical Arithmetic as Part of Intuitionistic Arithmetic. Grazer Philosophische Studien 55:127-41.
Richard Pettigrew (2010). The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory. Cahiers du Centre de Logique 17:99-118.
Richard Pettigrew (2009). On Interpretations of Bounded Arithmetic and Bounded Set Theory. Notre Dame Journal of Formal Logic 50 (2):141-152.
Harold T. Hodes (1981). Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy. Journal of Symbolic Logic 46 (4):753-760.
Charles McCarty (2013). Paradox and Potential Infinity. Journal of Philosophical Logic 42 (1):195-219.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Fred G. Abramson & Leo A. Harrington (1978). Models Without Indiscernibles. Journal of Symbolic Logic 43 (3):572-600.
Alistair H. Lachlan & Robert I. Soare (1998). Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets. Journal of Symbolic Logic 63 (1):59-72.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,748 of 549,118 )Recent downloads (6 months)1 ( #63,361 of 549,118 )How can I increase my downloads? |
My notes
Discussion
