The Urysohn Lemma is independent of ZF + Countable Choice

DOI10.1090/proc/14590zbMath1484.03104OpenAlexW2915932454WikidataQ124988827 ScholiaQ124988827MaRDI QIDQ5233980

Eleftherios Tachtsis

Publication date: 9 September 2019

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

Full work available at URL: https://doi.org/10.1090/proc/14590

zbMATH Keywords

axiom of countable choiceaxiom of choiceUrysohn lemmaDedekind-finite setPincus' transfer theoremsTietze extension theoremFraenkel-Mostowski permutation modelLäuchli's model

Mathematics Subject Classification ID

Consistency and independence results (03E35) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Axiom of choice and related propositions (03E25)

Related Items (3)

On Urysohn's lemma for generalized topological spaces in \(\mathbf{ZF}\) ⋮ On Hausdorff operators in ZF$\mathsf {ZF}$ ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Auswahlaxiom in der Algebra
• Hausdorff compactifications in ZF
• Continuing horrors of topology without choice
• Geordnete Läuchli Kontinuen
• Injectivity, Projectivity, and the Axiom of Choice
• Adding dependent choice
• Versions of Normality and Some Weak Forms of the Axiom of Choice
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
• The axiom of choice

This page was built for publication: The Urysohn Lemma is independent of ZF + Countable Choice