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 159 Kb |
Abstract
We answer some problems set by Priest in [11] and [12], 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.
| Item Type: | Article |
|---|---|
| Subjects: | MSC 2000 > 03 Mathematical logic and foundations |
| MIMS number: | 2008.100 |
| Deposited By: | Ms Lucy van Russelt |
| Deposited On: | 06 November 2008 |
Download Statistics: last 4 weeks
Repository Staff Only: edit this item