The well-ordering principle implies Zorn's Lemma

641 Views Asked by At

I have read and understood proofs for each implication between $AC$, $ZL$, $WO$ except this one. These proofs need about 10 lines each. Can someone share a neat, hopefully short, proof for $WO\implies ZL$?

(obviously not using $AC$ explicitly)

(I already know this one)

1

There are 1 best solutions below

2
On

Pedersen's book Analysis Now has a proof of their equivalence without using transfinite induction: Google books (Theorem 1.1.6).

Also note that the proof of $WO\implies AC$ is two lines long, so perhaps it is easier to prove $WO\implies AC\implies ZL$.