Coherent coinfinite injections into omega
ID: coherent-coinfinite-injections-into-omega
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.
New to topics? Read the docs here!