- 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
Special Model Axiom in Nonstandard Set Theory
Mathematical Logic Quarterly 45 (3):371-384 (1999)
Abstract
We demonstrate that the special model axiom SMA of Ross admits a natural formalization in Kawai's nonstandard set theory KST but is independent of KST. As an application of our methods to classical model theory, we present a short proof of the consistency of the existence of a k+ like k-saturated model of PA for a given cardinal kAuthor's Profile
Other Versions
No versions found
My notes
Similar books and articles
The special model axiom in nonstandard analysis.David Ross - 1990 - Journal of Symbolic Logic 55 (3):1233-1242.
Combinatorial principles in nonstandard analysis.Mauro Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
Combinatorial principles in nonstandard analysis.Mauro Di Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures.Shahram Mohsenipour - 2007 - Mathematical Logic Quarterly 53 (3):289-294.
The isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
The Solution of the Invariant Subspace Problem. Part I. Complex Hilbert space.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.
An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory.P. V. Andreev & E. I. Gordon - 2001 - Journal of Symbolic Logic 66 (3):1321-1341.
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property.Guido Bertolotti, Pierangelo Miglioli & Daniela Silvestrini - 1996 - Mathematical Logic Quarterly 42 (1):501-536.
What Model Companionship Can Say About the Continuum Problem.Giorgio Venturi & Matteo Viale - 2024 - Review of Symbolic Logic 17 (2):546-585.
Analytics
Added to PP
2014-01-16
Downloads
24 (#779,380)
6 months
5 (#946,801)
2014-01-16
Downloads
24 (#779,380)
6 months
5 (#946,801)
Historical graph of downloads
Author's Profile
References found in this work
The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces.C. Ward Henson - 1974 - Journal of Symbolic Logic 39 (4):717-731.
The special model axiom in nonstandard analysis.David Ross - 1990 - Journal of Symbolic Logic 55 (3):1233-1242.
The isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.
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-5d8df9484f-nsbkm uwo