The isomorphism property versus the special model axiom

Journal of Symbolic Logic 57 (3):975-987 (1992)

This paper answers some questions of D. Ross in [R]. In § 1, we show that some consequences of the ℵ0- or ℵ1-special model axiom in [R] cannot be proved by the κ-isomorphism property for any cardinal κ. In § 2, we show that with one exception, the ℵ0-isomorphism property does imply the remaining consequences of the special model axiom in [R]. In § 3, we improve a result in [R] by showing that the κ-special model axiom is equivalent to the ℵ0-special model axiom plus κ-saturation
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275443
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: 47,299
Through your library

References found in this work BETA

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

Add more references

Citations of this work BETA

Maharam Spectra of Loeb Spaces.Renling Jin & H. Jerome Keisler - 2000 - Journal of Symbolic Logic 65 (2):550-566.
Game Sentences and Ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
Distinguishing Three Strong Saturation Properties in Nonstandard Analysis.Renling Jin - 1999 - Annals of Pure and Applied Logic 98 (1-3):157-171.
The Generic Filter Property in Nonstandard Analysis.Mauro Di Nasso - 2001 - Annals of Pure and Applied Logic 111 (1-2):23-37.

View all 8 citations / Add more citations

Similar books and articles

Isomorphism Types of Maximal Cofinitary Groups.Bart Kastermans - 2009 - Bulletin of Symbolic Logic 15 (3):300-319.
The Strength of the Isomorphism Property.Renling Jin & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):292-301.
On Generic Extensions Without the Axiom of Choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
The Special Model Axiom in Nonstandard Analysis.David Ross - 1990 - Journal of Symbolic Logic 55 (3):1233-1242.
Strong Analogues of Martin's Axiom Imply Axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
A Theorem on the Isomorphism Property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.


Added to PP index

Total views
60 ( #148,536 of 2,290,759 )

Recent downloads (6 months)
8 ( #119,771 of 2,290,759 )

How can I increase my downloads?


My notes

Sign in to use this feature