A function on an ordinal is normal when it is strictly increasing and continuous at limit ordinals: for every limit .
For a strictly increasing ordinal class function continuous at limits, start with and iterate . If the sequence stabilizes, its stable value is a fixed point. Otherwise its supremum is a limit and continuity gives . Starting the iteration above any prescribed ordinal gives arbitrarily large fixed points.
Articles by others on the same topic
There are currently no matching articles.