RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 2017, том 58, номер 1, страницы 107–121 (Mi smj2845)

Эта публикация цитируется в 8 статьях

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

М. В. Зубков

Казанский (Приволжский) федеральный университет, ИММ им. Н. И. Лобачевского, ул. Кремлевская, 18, Казань 420008

Аннотация: Получены новые достаточные условия существования $\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)$.

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

УДК: 510.53+512.562

MSC: 35R30

Статья поступила: 19.02.2016

DOI: 10.17377/smzh.2017.58.112


 Англоязычная версия: Siberian Mathematical Journal, 2017, 58:1, 80–90

Реферативные базы данных:


© МИАН, 2024