Flat sets
Journal of Symbolic Logic 59 (3):1012-1021 (1994)
Abstract
Let X be a set, and let $\hat{X} = \bigcup^\infty_{n = 0} X_n$ be the superstructure of X, where X 0 = X and X n + 1 = X n ∪ P(X n ) (P(X) is the power set of X) for n ∈ ω. The set X is called a flat set if and only if $X \neq \varnothing.\varnothing \not\in X.x \cap \hat X = \varnothing$ for each x ∈ X, and $x \cap \hat{y} = \varnothing$ for x.y ∈ X such that x ≠ y, where $\hat{y} = \bigcup^\infty_{n = 0} y_n$ is the superstructure of y. In this article, it is shown that there exists a bijection of any nonempty set onto a flat set. Also, if W̃ is an ultrapower of X̂ (generated by any infinite set I and any nonprincipal ultrafilter on I), it is shown that W̃ is a nonstandard model of X: i.e., the Transfer Principle holds for X̂ and W̃, if X is a flat set. Indeed, it is obvious that W̃ is not a nonstandard model of X when X is an infinite ordinal number. The construction of flat sets only requires the ZF axioms of set theory. Therefore, the assumption that X is a set of individuals (i.e., $x \neq \varnothing$ and a ∈ x does not hold for x ∈ X and for any element a) is not needed for W̃ to be a nonstandard model of XDOI
10.2307/2275925
My notes
Similar books and articles
U-lusin sets in hyperfinite time lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):528-533.
A limit on relative genericity in the recursively enumerable sets.Steffen Lempp & Theodore A. Slaman - 1989 - Journal of Symbolic Logic 54 (2):376-395.
Set theoretic properties of Loeb measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Analytics
Added to PP
2009-01-28
Downloads
181 (#71,706)
6 months
2 (#302,601)
2009-01-28
Downloads
181 (#71,706)
6 months
2 (#302,601)
Historical graph of downloads
References found in this work
An Introduction to Nonstandard Real Analysis.Albert E. Hurd, Peter A. Loeb, K. D. Stroyan & W. A. J. Luxemburg - 1985 - Journal of Symbolic Logic 54 (2):631-633.