A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem

DOI10.14712/1213-7243.2015.138zbMath1363.03021OpenAlexW2234614083WikidataQ114007345 ScholiaQ114007345MaRDI QIDQ3466216

Miroslav Repický

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

zbMATH Keywords

axiom of choiceBoolean prime ideal theorem

Mathematics Subject Classification ID

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