Talk:Elements of Minimally Inductive Set are Well-Ordered

Suggestions on what to do with this page? Now that "Element of MISS" is proven to mean "Finite Ordinal", and the definition of "Ordinal" includes the well-ordering, there is nothing to be proven here. — Lord_Farin (talk) 12:50, 11 April 2015 (UTC)

Leave it for now, let me get to it, as I will in due course. I need to revisit the material I added from Halmos, but currently bogged down in the work on Warner which is proving trickier than I expected. --prime mover (talk) 13:27, 11 April 2015 (UTC)