OpenAlex
A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem
Work
Year: 2015
Type: article
Abstract: 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 a... more
Source: Commentationes Mathematicae Universitatis Carolinae
Author Miroslav Repický
Institutions Slovak Academy of Sciences, Mathematical Institute of the Slovak Academy of Sciences
Cites: 2
Cited by: 3
Related to: 10
FWCI: 0.388
Citation percentile (by year/subfield): 55.72
Topic: Limits and Structures in Graph Theory
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze