| The space of ordinals at most equal to the first uncountable ordinal with the order topology is a compact topological space. | Пространство ординалов до первого несчётного ординала с топологией порядка является компактным топологическим пространством. |
If φ0 is any normal function, then for any non-zero ordinal a, φa is the function enumerating the common fixed points of φβ for β| Если φ0 - это какая-либо нормальная функция, тогда для любого ненулевого ординала a, функция φa перечисляет общие неподвижные точки всех φβ для β | |