The isomorphism property versus the special model axiom

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

Abstract

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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,859

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A theorem on the isomorphism property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.
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.
Distinguishing three strong saturation properties in nonstandard analysis.Renling Jin - 1999 - Annals of Pure and Applied Logic 98 (1-3):157-171.
Extender based forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.
On κ-hereditary Sets and Consequences of the Axiom of Choice.Karl-Heinz Diener - 2000 - Mathematical Logic Quarterly 46 (4):563-568.
Aronszajn trees and the successors of a singular cardinal.Spencer Unger - 2013 - Archive for Mathematical Logic 52 (5-6):483-496.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
On the transitive Hull of a κ-narrow relation.Karl‐Heinz Diener & K.‐H. Diener - 1992 - Mathematical Logic Quarterly 38 (1):387-398.
Indestructibility, HOD, and the Ground Axiom.Arthur W. Apter - 2011 - Mathematical Logic Quarterly 57 (3):261-265.

Analytics

Added to PP
2009-01-28

Downloads
121 (#189,218)

6 months
18 (#169,983)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Distinguishing three strong saturation properties in nonstandard analysis.Renling Jin - 1999 - Annals of Pure and Applied Logic 98 (1-3):157-171.
Game sentences and ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
The generic filter property in nonstandard analysis.Mauro Di Nasso - 2001 - Annals of Pure and Applied Logic 111 (1-2):23-37.
Maharam spectra of Loeb spaces.Renling Jin & H. Keisler - 2000 - Journal of Symbolic Logic 65 (2):550-566.

View all 9 citations / Add more citations

References found in this work

Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.

Add more references