Journal of Symbolic Logic 73 (1):212-226 (2008)

Authors
Jeffrey Paris
University of Manchester
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 δ₀ + Exp implies the existence of truth definitions for intervals [0,a] ⊂ₑ M ⊨ I δ₀ + Exp in any cut [0,a] ⊂e K ⊆ M closed under successor and multiplication
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1208358750
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,792
Through your library

References found in this work BETA

Inconsistent Models of Arithmetic Part I: Finite Models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.
A Note on Priest's Finite Inconsistent Arithmetics.J. B. Paris & N. Pathmanathan - 2006 - Journal of Philosophical Logic 35 (5):529-537.
Inconsistent Number Systems.Chris Mortensen - 1987 - Notre Dame Journal of Formal Logic 29 (1):45-60.

Add more references

Citations of this work BETA

The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
Axioms for Finite Collapse Models of Arithmetic.Andrew Tedder - 2015 - Review of Symbolic Logic 8 (3):529-539.

Add more citations

Similar books and articles

Regularity in Models of Arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
Theories of Arithmetics in Finite Models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
On Embedding Models of Arithmetic Into Reduced Powers.Juliette Kennedy - 2003 - Matematica Contemporanea 24 (1):91--115.
Inconsistent Models of Arithmetic Part I: Finite Models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.
On Cofinal Extensions of Models of Arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
On Certain Types and Models for Arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.

Analytics

Added to PP index
2010-09-12

Total views
20 ( #490,963 of 2,341,549 )

Recent downloads (6 months)
1 ( #514,645 of 2,341,549 )

How can I increase my downloads?

Downloads

My notes