The strength of the isomorphism property

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

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

Categories

Keywords

Reprint years

DOI

10.2307/2275266

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,601

External links

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

Through your library

My notes

Similar books and articles

The isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
The generic filter property in nonstandard analysis.Mauro Di Nasso - 2001 - Annals of Pure and Applied Logic 111 (1-2):23-37.
The isomorphism property for nonstandard universes.James H. Schmerl - 1995 - Journal of Symbolic Logic 60 (2):512-516.
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.
Distinguishing three strong saturation properties in nonstandard analysis.Renling Jin - 1999 - Annals of Pure and Applied Logic 98 (1-3):157-171.
Andreas Blass and Saharon Shelah. Ultrafilters with small generating sets. Israel journal of mathematics, vol. 65 , pp. 259–271. - Andreas Blass and Saharon Shelah. There may be simple - and -points and the Rudin–Keisler ordering may be downward directed. Annals of pure and applied logic, vol. 33 , pp. 213–243. - Andreas Blass. Near coherence of filters. II: Applications to operator ideals, the Stone–Čech remainder of a half-line, order ideals of sequences, and the slenderness of groups. Transactions of the American Mathematical Society, vol. 300 , pp. 557–581. - Andreas Blass and Saharon Shelah. Near coherence of filters III: a simplified consistency proof. Notre Dame journal of formal logic, vol. 30 , pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency results about filters and the number of inequivalent growth types. The journal of symbolic logic, vol. 54 , pp. 50–56. - Andreas Blass. Applications of superperfect forcing and its relatives. Set theory and its applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
Compactness of Loeb spaces.Renling Jin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (4):1371-1392.
Loeb Peter A.. Conversion from nonstandard to standard measure spaces and applications in probability theory. Transactions of the American Mathematical Society, vol. 211 , pp. 113–122.Anderson Robert M.. A non-standard representation for Brownian motion and ltô integration. Israel journal of mathematics, vol. 25 , pp. 15–46. [REVIEW]K. D. Stroyan - 1985 - Journal of Symbolic Logic 50 (1):243-243.
ℵ 0 ‐categorical Banach spaces contain ℓp or c 0.Karim Khanaki - 2021 - Mathematical Logic Quarterly 67 (4):469-488.

Analytics

Added to PP
2009-01-28

Downloads
249 (#105,438)

6 months
22 (#133,910)

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.
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

References found in this work

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