David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 65 (4):1519-1529 (2000)
The paper establishes the general structure of the inconsistent models of arithmetic of . 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||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Zach Weber (2012). Transfinite Cardinals in Paraconsistent Set Theory. Review of Symbolic Logic 5 (2):269-293.
Similar books and articles
Alistair 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. [REVIEW] Journal of Philosophical Logic 26 (2):223-235.
Added to index2009-01-28
Total downloads15 ( #119,726 of 1,413,333 )
Recent downloads (6 months)1 ( #154,079 of 1,413,333 )
How can I increase my downloads?