Journal of Symbolic Logic 52 (2):512-518 (1987)
This paper continues the investigation of inconsistent arithmetical structures. In $\S2$ the basic notion of a model with identity is defined, and results needed from elsewhere are cited. In $\S3$ several nonisomorphic inconsistent models with identity which extend the (=, $\S4$ inconsistent nonstandard models of the classical theory of finite rings and fields modulo m, i.e. Z m , are briefly considered. In $\S5$ two models modulo an infinite nonstandard number are considered. In the first, it is shown how to model inconsistently the arithmetic of the rationals with all names included, a strengthening of earlier results. In the second, all inconsistency is confined to the nonstandard integers, and the effects on Fermat's Last Theorem are considered. It is concluded that the prospects for a good inconsistent theory of fields may be limited
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Uniqueness, Collection, and External Collapse of Cardinals in Ist and Models of Peano Arithmetic.V. Kanovei - 1995 - Journal of Symbolic Logic 60 (1):318-324.
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Nonstandard Natural Number Systems and Nonstandard Models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Inconsistent Models of Arithmetic. Part II: The General Case.Graham Priest - 2000 - Journal of Symbolic Logic 65 (4):1519-1529.
On Certain Types and Models for Arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Nonstandard Characterizations of Recursive Saturation and Resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
On External Scott Algebras in Nonstandard Models of Peano Arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Transfer Principles in Nonstandard Intuitionistic Arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Added to index2009-01-28
Total downloads12 ( #378,658 of 2,172,660 )
Recent downloads (6 months)1 ( #325,028 of 2,172,660 )
How can I increase my downloads?