Eventual domination on a regular cardinal
ID: eventual-domination-on-a-regular-cardinal
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.
New to topics? Read the docs here!