Axiom of Choice implies Maximal Principles

Theorem

Let the Axiom of Choice be accepted.

Then the Maximal Principles hold.


Proof

From Maximal Principles are Equivalent, it is sufficient to demonstrate that any one of them is implied by the Axiom of Choice.


Indeed, we have several such theorems:

$\blacksquare$


Sources

  • 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $4$: Superinduction, Well Ordering and Choice: Part $\text {II}$ -- Maximal principles: $\S 5$ Maximal principles
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.