Wikipedia lists the maximal antichain principle (every partially ordered set has a maximal antichain) as equivalent to the axiom of choice:
https://en.wikipedia.org/wiki/Axiom_of_choice
I can show quite easily show the maximal chain principle (every poset has a maximal chain) implies the maximal antichain principle:
Take a maximal chain $C$ in the set of antichains, ordered by inclusion. The antichain $\bigcup C$ is then maximal.
My question then is how to prove the axiom of choice from the maximal antichain principle (and indeed which incarnation of choice is the easiest to prove from the maximal antichain principle; I imagine either the maximal chain principle or Zorn's lemma?)
Thanks in advance!
Best Answer
The approach that I’ve seen starts by showing that the antichain principle implies that every linearly ordered set can be well-ordered.
Then one shows that the power set of every ordinal is linearly orderable.
The final step is to apply the theorem that $\mathsf{AC}$ holds if $\wp(\alpha)$ is well-orderable for every ordinal $\alpha$. This is an older result by Herman Rubin whose proof is significantly harder and involves showing by induction that the hypothesis implies that each $V_\alpha$ in the von Neumann hierarchy can be well-ordered; let me see if I can find it online. Ah, here we go: it’s the last theorem on this page of Andrés Caicedo’s Teaching blog, along with the rest of this proof; this may well be where I first saw the result, in fact.