Talk:Elements of Minimal Infinite Successor 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. &mdash; 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)