The axiom of choice implies the well ordering principle
A new note, containing a proof of the well ordering principle from the axiom of choice, using the principle of transfinite recursion, is now available in pdf-form.
Publisert 24. feb. 2015 11:25