A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem
From MaRDI portal
Publication:3466216
DOI10.14712/1213-7243.2015.138zbMath1363.03021OpenAlexW2234614083WikidataQ114007345 ScholiaQ114007345MaRDI QIDQ3466216
Publication date: 1 February 2016
Published in: Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.14712/1213-7243.2015.138
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (3)
MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS ⋮ SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY ⋮ MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
This page was built for publication: A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem