You are here: MIMS > EPrints
MIMS EPrints

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

DOI: 10.2178/jsl/1208358750


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