There are injections for , each with coinfinite range, with equal to outside a finite set. At countable limits, extend partial functions along a cofinal sequence, repair finitely many collisions, and reserve a fresh omitted natural number at each step. The reserved sequence makes the union coinfinite and permits all later successor steps.
Articles by others on the same topic
There are currently no matching articles.