Inconsistent models of arithmetic. Part II: The general case
Journal of Symbolic Logic 65 (4):1519-1529 (2000)
| Abstract | The paper establishes the general structure of the inconsistent models of arithmetic of [7]. It is shown that such models are constituted by a sequence of nuclei. The nuclei fall into three segments: the first contains improper nuclei; the second contains proper nuclei with linear chromosomes; the third contains proper nuclei with cyclical chromosomes. The nuclei have periods which are inherited up the ordering. It is also shown that the improper nuclei can have the order type of any ordinal, of the rationals, or of any other order type that can be embedded in the rationals in a certain way | |||||||||
| 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 articlesAlistair H. Lachlan & Robert I. Soare (1994). Models of Arithmetic and Upper Bounds for Arithmetic Sets. Journal of Symbolic Logic 59 (3):977-983.
Henryk Kotlarski (1984). Some Remarks on Initial Segments in Models of Peano Arithmetic. Journal of Symbolic Logic 49 (3):955-960.
Daniel Dzierzgowski (1995). Models of Intuitionistic TT and N. Journal of Symbolic Logic 60 (2):640-653.
George Mills & Jeff Paris (1984). Regularity in Models of Arithmetic. Journal of Symbolic Logic 49 (1):272-280.
Michael Potter (1998). Classical Arithmetic as Part of Intuitionistic Arithmetic. Grazer Philosophische Studien 55:127-41.
M. Krynicki & K. Zdanowski (2005). Theories of Arithmetics in Finite Models. Journal of Symbolic Logic 70 (1):1-28.
Ysbrand D. Van der Werf, Menno P. Witter & Henk J. Groenewegen (2002). The Intralaminar and Midline Nuclei of the Thalamus. Anatomical and Functional Evidence for Participation in Processes of Arousal and Awareness. Brain Research Reviews 39 (2):107-140.
Richard M. Pagni (2009). The Weak Nuclear Force, the Chirality of Atoms, and the Origin of Optically Active Molecules. Foundations of Chemistry 11 (2):105-122.
Chris Mortensen (1987). Inconsistent Nonstandard Arithmetic. Journal of Symbolic Logic 52 (2):512-518.
Graham Priest (1997). Inconsistent Models of Arithmetic Part I: Finite Models. Journal of Philosophical Logic 26 (2):223-235.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #114,124 of 549,125 )Recent downloads (6 months)2 ( #37,390 of 549,125 )How can I increase my downloads? |
My notes
Discussion
