Maximal Ideals Imply the Boolean Prime Ideal Theorem — Statement & Proof - Androma

Androma

Maximal Ideals Imply the Boolean Prime Ideal Theorem (Theorem # 7535)

Theorem

Edit Issues Pull Requests Attributions Admin

Discussion

Proof under construction

Proof under construction

A complete reviewed proof has not been accepted yet.

1 closed proof pull request records previous proof review.

Explore Further

Completeness of Dense Linear Orders Without Endpoints logic Artin-Schreier Theorem for Real Closed Fields logic Stability of Strictly Negative First-Order Formulas logic Quantifier Elimination for Algebraically Closed Fields logic Tarski-Seidenberg Quantifier Elimination Theorem logic Constructive Hahn-Banach Extension Theorem for Separable Normed Spaces logic Quantitative Cauchy Criterion logic Cell Decomposition for One-Variable Definable Sets in Real Closed Fields logic