Spaces of urelements

MaRDI QIDQ1081151zbMATH OpenFDO

Authors Norbert Brunner

Publication date 1985

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_1985__74__7_0, https://eudml.org/doc/108012

zbMATH Keywords

anti-anti-compactnessaxiom of choiceMostowski's modelurelement

Mathematics Subject Classification ID

Consistency and independence results (03E35) Topological spaces and generalizations (closure spaces, etc.) (54A05) Consistency and independence results in general topology (54A35) Compactness (54D30)

Review text

Without the axiom of choice, topologists have new worlds to explore. Here, the author shows readers familiar with Mostowski's model (described in \textit{U. Felgner}'s Models of ZF-set theory, Lect. Notes Math. 223 (1971; Zbl 0269.02029), that in this model, a Hausdorff space is anti- anti-compact iff it is a continuous one-to-one image of a Dedekind-finite subset of \(U^{\omega}\), where U is the set of urelements. \textit{P. Bankston} [Ill. J. Math. 23, 241-252 (1979; Zbl 0405.54003)] called a space anti-anti-compact if each of its infinite subsets has an infinite compact subset. Under the axiom of choice, Hausdorff spaces with that property must be finite.) The author's results also bear on the interdependence of variants of the axiom of choice.

Recommendations

• Spaces of Urelements. II
• Continuing horrors of topology without choice
• Cellularity of infinite Hausdorff spaces in \textbf{ZF}
• scientific article; zbMATH DE number 2113459
• Infinite Hausdorff spaces may lack cellular families or discrete subsets of cardinality \(\aleph_0\)

Cites work

• A note on almost continuous mappings and Baire spaces
• Dedekind-Endlichkeit und Wohlordenbarkeit
• scientific article; zbMATH DE number 3456115 (Why is no real title available?)
• Models of ZF-set theory
• Positive functionals and the axiom of choice
• sigma-kompakte Räume
• The axiom of choice
• The axiom of choice in topology
• The total negation of a topological property

Cited in

(3)

• Spaces of Urelements. II
• Infinite Hausdorff spaces may lack cellular families or discrete subsets of cardinality \(\aleph_0\)
• P-Räume und Auswahlaxiom

This page was built for publication: Spaces of urelements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1081151)