Countable compact Hausdorff spaces need not be metrizable in ZF

DOI10.1090/S0002-9939-06-08572-8zbMath1115.03067MaRDI QIDQ3420105

Eleftherios Tachtsis, Kyriakos Keremedis

Publication date: 1 February 2007

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

paracompact spacesaxiom of choiceweak axioms of choicecompact spacesmetacompact spacescountable spacesmetrizable spaceszero-dimensional spaces

Mathematics Subject Classification ID

Compactness (54D30) Metric spaces, metrizability (54E35) Consistency and independence results (03E35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Consistency and independence results in general topology (54A35) Axiom of choice and related propositions (03E25)

Related Items (6)

On Hausdorff operators in ZF$\mathsf {ZF}$ ⋮ Extending compact topologies to compact Hausdorff topologies in \(\mathbf {ZF}\) ⋮ Infinite Hausdorff spaces may lack cellular families or discrete subsets of cardinality \(\aleph_0\) ⋮ Second-countable compact Hausdorff spaces as remainders in \textbf{ZF} and two new notions of infiniteness ⋮ Several results on compact metrizable spaces in \(\mathbf{ZF} \) ⋮ Cellularity of infinite Hausdorff spaces in \textbf{ZF}

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set theory. An introduction to independence proofs. 2nd print
• Disasters in topology without the axiom of choice
• Continuing horrors of topology without choice
• Countable sums and products of metrizable spaces in ZF
• Horrors of Topology Without AC: A Nonnormal Orderable Space
• A Weak Tychonoff Theorem and the Axiom of Choice
• Disjoint Unions of Topological Spaces and Choice
• On Stone’s theorem and the Axiom of Choice
• Some applications of the notions of forcing and generic sets
• On Theorems of Tychonoff, Alexander, and R. Rado
• The Tychonoff product theorem implies the axiom of choice
• Axiom of choice
• The axiom of choice

This page was built for publication: Countable compact Hausdorff spaces need not be metrizable in ZF