Inconsistent models of arithmetic Part II: the general case
The work
| Authors | Graham Priest |
|---|---|
| Type | article |
| Year | 2000 |
| Citekey | priest2000inconsistent |
Where it appeared
| Published in | The Journal of Symbolic Logic |
|---|---|
| Publisher | Cambridge University Press (CUP) |
| Volume | 65 |
| Issue | 4 |
| Pages | 1519--1529 |
Identifiers
| DOI | 10.2307/2695062 |
|---|
Access
| Landing page | https://doi.org/10.2307/2695062 |
|---|
Related
| Distinct from | priest1997inconsistent |
|---|
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.
A copy is held
pdf, 301.6 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-08-08 00:00 UTC |
| Approved by | a person 2026-08-28 21:27 UTC |
Filed under
Cite it as
@article{priest2000inconsistent,
title = {Inconsistent models of arithmetic Part II: the general case},
author = {Graham Priest},
year = {2000},
journal = {The Journal of Symbolic Logic},
volume = {65},
number = {4},
pages = {1519--1529},
publisher = {Cambridge University Press (CUP)},
doi = {10.2307/2695062},
}
This record lives at https://refs.drheap.org/priest2000inconsistent/ and will keep doing so.