For , write when there is such that whenever . For an infinite regular cardinal, suprema of fewer than ordinals below remain below it, permitting the long chain under eventual domination construction.
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.

Articles by others on the same topic (0)

There are currently no matching articles.