Is there a subset of the rationals in [0, 1] that has order type x for every countable ordinal x? I'm pretty sure there is one for every x up to ω^ω.
点赞
收藏
点踩
分享评论
?
参与讨论
Is there a subset of the rationals in [0, 1] that has order type x for every countable ordinal x? I'm pretty sure there is one for every x up to ω^ω.