The independence of the axiom of choice from the Boolean prime ideal theorem
J. Halperin (1964)
Fundamenta Mathematicae
Similarity:
J. Halperin (1964)
Fundamenta Mathematicae
Similarity:
W. Luxemburg (1964)
Fundamenta Mathematicae
Similarity:
Eric Schechter (2006)
Fundamenta Mathematicae
Similarity:
The principle that "any product of cofinite topologies is compact" is equivalent (without appealing to the Axiom of Choice) to the Boolean Prime Ideal Theorem.
Leon Henkin (1955)
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.
B. R. Salinas, F. Bombal (1973)
Collectanea Mathematica
Similarity:
J. Łoś, Czesław Ryll-Nardzewski (1955)
Fundamenta Mathematicae
Similarity:
Paul R. Halmos (1954-1956)
Compositio Mathematica
Similarity:
J. Bell (1988)
Fundamenta Mathematicae
Similarity: