Special Model Axiom in Nonstandard Set Theory

Mathematical Logic Quarterly 45 (3):371-384 (1999)

Authors
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 k
Keywords Special model axiom  Nonstandard set theory
Categories (categorize this paper)
DOI 10.1002/malq.19990450308
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Isomorphism Property Versus the Special Model Axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
The Special Model Axiom in Nonstandard Analysis.David Ross - 1990 - Journal of Symbolic Logic 55 (3):1233-1242.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Isomorphism Property Versus the Special Model Axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
The Special Model Axiom in Nonstandard Analysis.David Ross - 1990 - Journal of Symbolic Logic 55 (3):1233-1242.
Nonstandard Set Theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
Standard Sets in Nonstandard Set Theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
Inconsistent Nonstandard Arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.

Analytics

Added to PP index
2014-01-16

Total views
12 ( #689,882 of 2,285,767 )

Recent downloads (6 months)
1 ( #835,767 of 2,285,767 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature