The Tychonoff product theorem for compact Hausdorff spaces does not imply the axiom of choice: A new Proof. equivalent propositions.
B. R. Salinas, F. Bombal (1973)
Collectanea Mathematica
Similarity:
B. R. Salinas, F. Bombal (1973)
Collectanea Mathematica
Similarity:
W. W. Comfort (1968)
Fundamenta Mathematicae
Similarity:
J. Halperin (1964)
Fundamenta Mathematicae
Similarity:
Miroslav Repický (2015)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We present a proof of the Boolean Prime Ideal Theorem in a transitive model of ZF in which the Axiom of Choice does not hold. We omit the argument based on the full Halpern-Läuchli partition theorem and instead we reduce the proof to its elementary case.
D. Edwards (1975)
Fundamenta Mathematicae
Similarity:
Alfred Tarski (1948)
Fundamenta Mathematicae
Similarity:
C. M. Edwards (1975)
Annales de l'I.H.P. Physique théorique
Similarity:
J. Bell (1988)
Fundamenta Mathematicae
Similarity:
W. Luxemburg (1964)
Fundamenta Mathematicae
Similarity: