Does descending chain imply well ordering without axiom of choice?

177 Views Asked by At

I can prove no descending chain implies well ordering. Take any subset $S$, assume it has no least element, then we can construct a function $f: S \to S$ such that $f(x) < x$, then use recursion theorem to prove there is a descending chain.

However the construction of $f$ requires axiom of choice. Is this needed? Or is there proof without AC?

1

There are 1 best solutions below

1
On

To remove this from the unanswered queue:

Bof's comment is exactly right. In Cohen's original model of $\mathsf{ZF+\neg AC}$, we have a set of reals $X$ (namely the set of Cohen reals added to the model) which is not well-ordered but has no infinite descending sequence.