- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Expanding the additive reduct of a model of Peano arithmetic
Mathematical Logic Quarterly 49 (4):363-368 (2003)
Abstract
Let M be a model of first order Peano arithmetic and I an initial segment of M that is closed under multiplication. LetM0 be the {0, 1,+}-reduct ofM. We show that there is another model N of PA that is also an expansion of M0 such that a · Ma = a · Na if and only if a ∈ I for all a ∈ MMy notes
Similar books and articles
A model of peano arithmetic with no elementary end extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
On the complexity of models of arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Model-theoretic properties characterizing peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
On interstices of countable arithmetically saturated models of Peano arithmetic.Nicholas Bamber & Henryk Kotlarski - 1997 - Mathematical Logic Quarterly 43 (4):525-540.
Nonstandard models that are definable in models of Peano Arithmetic.Kazuma Ikeda & Akito Tsuboi - 2007 - Mathematical Logic Quarterly 53 (1):27-37.
Definability of Initial Segments.Akito Tsuboi & Saharon Shelah - 2002 - Notre Dame Journal of Formal Logic 43 (2):65-73.
Tennenbaum's Theorem and Unary Functions.Sakae Yaegasi - 2008 - Notre Dame Journal of Formal Logic 49 (2):177-183.
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely.Henryk Kotlarski & Bożena Piekart - 2000 - Mathematical Logic Quarterly 46 (1):111-120.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
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.
Analytics
Added to PP
2013-12-01
Downloads
23 (#666,649)
6 months
7 (#418,426)
2013-12-01
Downloads
23 (#666,649)
6 months
7 (#418,426)
Historical graph of downloads
References found in this work
A note on the multiplicative semigroup of models of peano arithmetic.Roman Kossak, Mark Nadel & James Schmerl - 1989 - Journal of Symbolic Logic 54 (3):936-940.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo