Talk:Covering lemma

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Importance
 Field:  Foundations, logic, and set theory

re covering property[edit]

"for every uncountable set x of ordinals, there is y such that y⊃x, y has the same cardinality as x,"

I may be missing something, but shouldn't this specify instead "the same cardinality as the largest members of x"? Consider the set ω₁∪{ω₂}. This is an uncountable set of ordinals of cardinality ℵ₁+1 = ℵ₁, and yet no ordinal smaller than ω₂+1 will contain every member of this set. --Trɔpʏliʊmblah 12:18, 29 October 2017 (UTC)