Journal of Symbolic Logic 59 (1):292-301 (1994)

Abstract
In § 1 of this paper, we characterize the isomorphism property of nonstandard universes in terms of the realization of some second-order types in model theory. In § 2, several applications are given. One of the applications answers a question of D. Ross in [this Journal, vol. 55 (1990), pp. 1233-1242] about infinite Loeb measure spaces
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275266
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,266
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.
A Theorem on the Isomorphism Property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.
Game Sentences and Ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
Foundations of Infinitesimal Stochastic Analysis.K. D. Stroyan - 1988 - Journal of Symbolic Logic 53 (4):1261-1262.

Add more references

Citations of this work BETA

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.

Add more citations

Similar books and articles

Guidelines for Theorizing About Realization.Kevin Morris - 2010 - Southern Journal of Philosophy 48 (4):393-416.
The Isomorphism Property Versus the Special Model Axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
The Isomorphism Property for Nonstandard Universes.James H. Schmerl - 1995 - Journal of Symbolic Logic 60 (2):512-516.
Compactness of Loeb Spaces.Renling Jin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (4):1371-1392.
Isomorphism in Information-Carrying Systems.John Kulvicki - 2004 - Pacific Philosophical Quarterly 85 (4):380-395.
Type Two Cuts, Bad Cuts and Very Bad Cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.
A Theorem on the Isomorphism Property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.

Analytics

Added to PP index
2009-01-28

Total views
214 ( #46,681 of 2,444,923 )

Recent downloads (6 months)
1 ( #457,173 of 2,444,923 )

How can I increase my downloads?

Downloads

My notes