Translator Disclaimer
March 2008 On LP-models of arithmetic
J. B. Paris, A. Sirokofskich
J. Symbolic Logic 73(1): 212-226 (March 2008). DOI: 10.2178/jsl/1208358750

Abstract

We answer some problems set by Priest in [11] and [12], in particular refuting Priest’s Conjecture that all LP-models of Th(ℕ) essentially arise via congruence relations on classical models of Th(ℕ). 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.

Citation

Download Citation

J. B. Paris. A. Sirokofskich. "On LP-models of arithmetic." J. Symbolic Logic 73 (1) 212 - 226, March 2008. https://doi.org/10.2178/jsl/1208358750

Information

Published: March 2008
First available in Project Euclid: 16 April 2008

zbMATH: 1143.03013
MathSciNet: MR2387940
Digital Object Identifier: 10.2178/jsl/1208358750

Rights: Copyright © 2008 Association for Symbolic Logic

JOURNAL ARTICLE
15 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.73 • No. 1 • March 2008
Back to Top