Two theorems of functional analysis effectively equivalent to choice axioms
D. Edwards (1975)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “The equivalence of Boolean prime ideal theorem and a theorem of functional analysis”
Two theorems of functional analysis effectively equivalent to choice axioms
A proof of the completeness theorem of Grödel
H. Rasiowa, Roman Sikorski (1950)
Fundamenta Mathematicae
Similarity:
A geometric form of the axiom of choice
J. Bell, David Fremlin (1972)
Fundamenta Mathematicae
Similarity:
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:
The independence of the axiom of choice from the Boolean prime ideal theorem
J. Halperin (1964)
Fundamenta Mathematicae
Similarity:
A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem
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.
Effectiveness of the representation theory for Boolean algebras
J. Łoś, Czesław Ryll-Nardzewski (1955)
Fundamenta Mathematicae
Similarity:
Remarks on Henkin's paper: Boolean representation trough, propositional calculus
J. Łoś (1957)
Fundamenta Mathematicae
Similarity:
On a generalization of theorems of Banach and Cantor-Bernstein
Roman Sikorski (1948)
Colloquium Mathematicum
Similarity:
Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem
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.