Several results on compact metrizable spaces in \(\mathbf{ZF} \)

DOI10.1007/s00605-021-01582-0zbMath1486.03081arXiv2008.01233MaRDI QIDQ2049538

Eleftherios Tachtsis, Eliza Wajch, Kyriakos Keremedis

Publication date: 27 August 2021

Published in: Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.01233

zbMATH Keywords

compact space; metrizable space; symmetric model; totally bounded metric; permutation model; weak forms of axiom of choice

Mathematics Subject Classification ID

54D30: Compactness

54E35: Metric spaces, metrizability

03E35: Consistency and independence results

54A35: Consistency and independence results in general topology

03E25: Axiom of choice and related propositions

Related Items

Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice, On iso-dense and scattered spaces without \textbf{AC}, On a theorem of Kurepa for partially ordered sets and weak choice, \(k\)-spaces, sequential spaces and related topics in the absence of the axiom of choice, Stranger things about the cardinality of compact metric spaces without AC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The strength of the \(\Delta\)-system lemma
• On Loeb and sequential spaces in \textbf{ZF}
• Set theory. An introduction to independence proofs. 2nd print
• Continuing horrors of topology without choice
• Infinite Hausdorff spaces may lack cellular families or discrete subsets of cardinality \(\aleph_0\)
• On metrizability and compactness of certain products without the axiom of choice
• Compact Metric Spaces and Weak Forms of the Axiom of Choice
• On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements
• The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters
• Some Notions of Separability of Metric Spaces in $\mathbf {ZF}$ and Their Relation to Compactness
• Countable sums and products of metrizable spaces in ZF
• Criteria for Metrisability
• Countable compact Hausdorff spaces need not be metrizable in ZF
• Unions and the axiom of choice
• Horrors of Topology Without AC: A Nonnormal Orderable Space
• Products of Compact Spaces in the Least Permutation Model
• Limitations on the Fraenkel-Mostowski method of independence proofs
• Adding dependent choice
• On Stone’s theorem and the Axiom of Choice
• Metric spaces and the axiom of choice
• Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces
• The independence of Stone’s Theorem from the Boolean Prime Ideal Theorem
• A New Proof of the Tychonoff Theorem
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
• Metrization of Topological Spaces
• Axiom of choice
• The axiom of choice