Лемма о фиксированной точке для нормальных функций
- Лемма о неподвижной точке утверждает, что класс неподвижных точек нормальной функции непустой и неограниченный.
- Фиксированная точка нормальной функции — это порядковый номер, для которого функция имеет значение, равное этому порядковому номеру.
- Лемма о неподвижной точке эквивалентна утверждению о том, что неподвижные точки нормальной функции образуют замкнутый и неограниченный класс.
- Пример применения: функция f : Ord → Ord, f(α) = ωα является нормальной, и существует замкнутый, неограниченный класс порядковых чисел θ, таких, что θ = ωθ.
Полный текст статьи: