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!