Definition talk:Minimal Uncountable Well-Ordered Set

From ProofWiki
Jump to navigation Jump to search

I kinda like this name more than "set of countable ordinals" because it's more descriptive. Particularly in contexts where there isn't a (proper) class of ordinals to be considered, only $\Omega$ and perhaps $\Omega \cup \{ \Omega \}$. Thoughts? --GFauxPas (talk) 10:11, 8 June 2018 (EDT)