Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Re: A simple characterization of well ordering?
Posted:
Apr 17, 2014 2:18 PM


Arturo Magidin <magidin@member.ams.org> writes:
> I can prove the converse using the Axiom of Choice, and I suspect that > you will need the Axiom of Choice to prove it in full.
What you need here is in fact perhaps the most obvious application of the principle of dependent choice.
 Aatu Koskensilta (aatu.koskensilta@uta.fi)
"Wovon man nicht sprechen kann, darüber muss man schweigen"  Ludwig Wittgenstein, Tractatus LogicoPhilosophicus



