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 X | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRenling Jin (1992). U-Lusin Sets in Hyperfinite Time Lines. Journal of Symbolic Logic 57 (2):528-533.
Vladimir Kanovei & Michael Reeken (1996). Internal Approach to External Sets and Universes. Studia Logica 56 (3):293 - 322.
Stephen A. Fenner (1994). Almost Weakly 2-Generic Sets. Journal of Symbolic Logic 59 (3):868-887.
Vladimir Kanovei & Michael Reeken (2000). Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Studia Logica 64 (1):37-59.
Arnold W. Miller (1990). Set Theoretic Properties of Loeb Measure. Journal of Symbolic Logic 55 (3):1022-1036.
Theodore A. Slaman (1986). On the Kleene Degrees of Π11 Sets. Journal of Symbolic Logic 51 (2):352 - 359.
Steffen Lempp & Theodore A. Slaman (1989). A Limit on Relative Genericity in the Recursively Enumerable Sets. Journal of Symbolic Logic 54 (2):376-395.
Ludomir Newelski (1999). Flat Morley Sequences. Journal of Symbolic Logic 64 (3):1261-1279.
Peter Fletcher (1989). Nonstandard Set Theory. Journal of Symbolic Logic 54 (3):1000-1008.
Fred G. Abramson (1979). Σ1-Separation. Journal of Symbolic Logic 44 (3):374 - 382.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
