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



Well Ordering Everything
Posted:
May 7, 2014 8:25 AM


For all A, (A is well orderable implies P(A) is well orderable). . (P) Within ZF, does P imple every set is well orderable?
Define by transfinite induction V_eta = { P(V_xi)  xi < eta } or equivallently V_0 = emptyset; V_(pi+1) = P(V_pi) V_eta = \/{ V_xi  xi < eta }, eta limit ordinal Within ZF, does P imply for all eta, V_eta is well orderable?
These two problems are equivalent.



