Pseudo-Superstructures as Nonstandard Universes

Journal of Symbolic Logic 63 (1):222 - 236 (1998)
Abstract
A definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard universes are arranged in strata in the likeness of superstructures and allow a rank function taking linearly ordered values. Nonstandard universes are also constructed which model the whole ZFC theory without regularity and satisfy the κ-saturation property.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586597
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,827
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Combinatorial Principles in Nonstandard Analysis.Mauro Di Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.

Add more citations

Similar books and articles
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222-236.
Set Theoretic Properties of Loeb Measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
The Isomorphism Property for Nonstandard Universes.James H. Schmerl - 1995 - Journal of Symbolic Logic 60 (2):512-516.
Nonstandard Set Theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
Nonstandard Natural Number Systems and Nonstandard Models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Standardization Principle of Nonstandard Universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
Standard Sets in Nonstandard Set Theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
A Theorem on the Isomorphism Property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.
Added to PP index
2011-05-29

Total downloads
4 ( #698,159 of 2,210,106 )

Recent downloads (6 months)
1 ( #382,810 of 2,210,106 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature