Inconsistent models of arithmetic part II: The general case

Authors
Citation
G. Priest, Inconsistent models of arithmetic part II: The general case, J SYMB LOG, 65(4), 2000, pp. 1519-1529
Citations number
8
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
65
Issue
4
Year of publication
2000
Pages
1519 - 1529
Database
ISI
SICI code
0022-4812(200012)65:4<1519:IMOAPI>2.0.ZU;2-Z
Abstract
The paper establishes the general structure of the inconsistent models of a rithmetic of [7]. It is shown that such models are constituted by a sequenc e of nuclei. The nuclei fall into three segments: the first contains improp er nuclei: the second contains proper nuclei with linear chromosomes: the t hird contains proper nuclei with cyclical chromosomes. The nuclei have peri ods 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.