Достаточные условия существования $\mathbf0'$-предельно монотонных функций для вычислимых $\eta$-схожих линейных порядков

Получены новые достаточные условия существования $\mathbf0'$-предельно монотонной функции, задающей порядок для вычислимого $\eta$-схожего линейного порядка $\mathscr L$, т.е. функции $G$ такой, что $\mathscr L\cong\sum_{q\in\mathbb Q}G(q)$. А именно, вводится понятие блоков, локально максимальных слева и локально максимальных справа, и доказано, что если размеры таких блоков в вычислимом $\eta$-схожем линейном порядке $\mathscr L$ ограничены, то существует $\mathbf0'$-предельно монотонная функция $G$ такая, что $\mathscr L\cong\sum_{q\in\mathbb Q}G(q)$.