Talk:Union of Ordinals is Ordinal

The name of this theorem doesn't seem to match its statement very well. I named a slightly simpler form of the theorem Union of Subset of Ordinals is Ordinal/Corollary. --Dfeuer (talk) 16:26, 27 April 2013 (UTC)


 * It was agreed donkeys' years ago that until we had a strategy, we weren't going to touch the work that had been put together on based on the Takeuti and Zaring approach. What was said then and has been said more recently still stands. --prime mover (talk) 17:12, 27 April 2013 (UTC)