|
Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры, 2018, том 157, страницы 59–69
(Mi into407)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О степенях перечислений счетных семейств вехнеровского типа
И. Ш. Калимуллин, М. Х. Файзрахманов Институт математики и механики им. Н. И. Лобачевского Казанского (Приволжского) федерального университета
Аннотация:
Работа представляет собой обзор результатов по счетным семействам, имеющим естественный спектр степеней. Данные результаты были получены при помощи модификации методологии, предложенной C. Вехнером, который первым нашел семейство множеств, имеющее спектр, состоящий в точности из ненулевых тьюринговых степеней. На основе этого метода были получены примеры семейств, имеющих другие естественные спектры. В данной работе приведены новые примеры естественных спектров. В частности, построено семейство конечных множеств, имеющее спектр, состоящий в точности из не $K$-тривиальных степеней, а также найдены новые достаточные условия на $\Delta^0_2$-степень $\mathbf{a}$, при выполнении которых класс $\{\mathbf{x}:\mathbf{x}\not\leq\mathbf{a}\}$ является спектром степеней некоторого семейства. Приведен обзор последних результатов авторов о спектрах степеней $\alpha$-семейств, где $\alpha$ — произвольный вычислимый ординал.
Ключевые слова:
спектр степеней, счетное семейство, перечисление семейства, алгебраическая структура, $\alpha$-семейство.
Образец цитирования:
И. Ш. Калимуллин, М. Х. Файзрахманов, “О степенях перечислений счетных семейств вехнеровского типа”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 59–69; J. Math. Sci. (N. Y.), 256:1 (2021), 51–60
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/into407 https://www.mathnet.ru/rus/into/v157/p59
|
Статистика просмотров: |
Страница аннотации: | 302 | PDF полного текста: | 59 | Список литературы: | 38 | Первая страница: | 9 |
|