Long chain under eventual domination

ID: long-chain-under-eventual-domination

For every infinite regular cardinal , there is a strictly eventually increasing sequence of functions . At stage enumerate predecessors by and put . Regularity bounds each value below , while any predecessor's index is eventually included in the supremum.

New to topics? Read the docs here!