О границах трансфинитного построения инфляционной неподвижной точки

В работе показано, что если универсум допускает существование оператора инфляционной неподвижной точки, который не вычисляется за конечное число шагов, то существуют операторы инфляционной неподвижной точки, требующие для своего трансфинитного построения произвольного числа шагов вплоть до ординала $\omega^\omega$ в любом универсуме. Для дискретного порядка продемонстрирована возможность построения за произвольное число шагов.