2008.100: On LP-models of arithmetic
2008.100: J. B. Paris and A. Sirokofskich (2008) On LP-models of arithmetic. The Journal of Symbolic Logic, 73 (1). pp. 212-226. ISSN 0022-4812
Full text available as:
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
We answer some problems set by Priest in  and , in particular refuting Priest’s Conjecture that all LP-models of Th(N) essentially arise via congruence relations on classical models of Th(N). We also show that the analogue of Priest’s Conjecture for I±0 + Exp implies the existence of truth definitions for intervals [0, a] ⊂e M |= I±0 + Exp in any cut [0, a] ⊂e K ⊆e M closed under successor and multiplication.
|Subjects:||MSC 2000 > 03 Mathematical logic and foundations|
|Deposited By:||Ms Lucy van Russelt|
|Deposited On:||06 November 2008|