Eventual dominance in a fast-growing hierarchy

ID: eventual-dominance-in-a-fast-growing-hierarchy

For the standard fundamental sequences of limit ordinals below epsilon zero, the index order corresponds to eventual, rather than necessarily pointwise, growth. For example, under and successor iteration times, whereas . Limit stages are diagonal choices, so a larger index can give a smaller value at small arguments.

New to topics? Read the docs here!