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

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,660

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
181 (#66,824)

6 months
2 (#259,525)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

U-Lusin Sets in Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):528-533.
Nonstandard Set Theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
Flat Morley Sequences.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (3):1261-1279.
Set Theoretic Properties of Loeb Measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Almost Weakly 2-Generic Sets.Stephen A. Fenner - 1994 - Journal of Symbolic Logic 59 (3):868-887.
Σ1-Separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.

References found in this work

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Introduction to Set Theory.K. Hrbacek & T. Jech - 2001 - Studia Logica 69 (3):448-449.
Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.

Add more references

Citations of this work

No citations found.

Add more citations