作者: Richard Laver
DOI: 10.1016/S0049-237X(08)71630-6
关键词:
摘要: Publisher Summary This chapter discusses linear orders in (ѡ) ѡ under eventual dominance. If is the set of functions f : →ѡ ordered by dominance, then this ordering, embeds every ordering power 1 . It proved that 2 א 0 > and cardinality are embeddable