Gap-doubling closed family of infinite subsets

ID: gap-doubling-closed-family-of-infinite-subsets

The family is ordinarily closed and nowhere dense. A failed gap is witnessed by a finite prefix, and any cylinder can be refined by adjoining consecutive large integers that fail the gap. Nevertheless intersects every infinite-subset cone in continuum many sets: a binary tree chooses two sufficiently large next points inside its reservoir at each step.

New to topics? Read the docs here!