Non-well-foundedness of well-orderable power sets
Journal of Symbolic Logic 68 (3):879-884 (2003)
Abstract
Tarski [5] showed that for any set X, its set w(X) of well-orderable subsets has cardinality strictly greater than that of X, even in the absence of the axiom of choice. We construct a Fraenkel-Mostowski model in which there is an infinite strictly descending sequence under the relation |w (X)| = |Y|. This contrasts with the corresponding situation for power sets, where use of Hartogs' ℵ-function easily establishes that there can be no infinite descending sequence under the relation |P(X)| = |Y|DOI
10.2178/jsl/1058448446
My notes
Similar books and articles
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
Monotone reducibility and the family of infinite sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
Elementary extensions of external classes in a nonstandard universe.Vladimir Kanovei & Michael Reeken - 1998 - Studia Logica 60 (2):253-273.
The ideal of orderable subsets of a set.John L. Hickman - 1978 - Notre Dame Journal of Formal Logic 19 (4):593-598.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
Analytics
Added to PP
2009-01-28
Downloads
13 (#767,454)
6 months
1 (#448,551)
2009-01-28
Downloads
13 (#767,454)
6 months
1 (#448,551)
Historical graph of downloads
Citations of this work
Exclusion Principles as Restricted Permutation Symmetries.S. Tarzi - 2003 - Foundations of Physics 33 (6):955-979.
References found in this work
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.