Article contents
On LP-models of arithmetic
Published online by Cambridge University Press: 12 March 2014
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] ⊂eM ⊨ IΔ0 + Exp in any cut [0, a] ⊂eK ⊆eM closed under successor and multiplication.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2008
References
REFERENCES
- 8
- Cited by