|
Известия высших учебных заведений. Математика, 2016, номер 6, страницы 15–26
(Mi ivm9119)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Начальные сегменты вычислимых линейных порядков с вычислимыми естественными отношениями
Р. И. Бикмухаметов Казанский (Приволжский) федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия
Аннотация:
В работе изучается алгоритмическая сложность естественных отношений на начальных сегментах вычислимых линейных порядков. Доказано, что существует вычислимый линейный порядок с вычислимым отношением плотности такой, что его $\Pi^0_1$-начальный сегмент не имеет вычислимого представления с вычислимым отношением плотности. Получены аналогичные результаты для отношений предельности справа и предельности слева.
Ключевые слова:
линейные порядки, начальные сегменты, отношение плотности, отношение предельности справа, отношение предельности слева.
Поступила: 17.10.2014 Исправленный вариант: 19.01.2015
Образец цитирования:
Р. И. Бикмухаметов, “Начальные сегменты вычислимых линейных порядков с вычислимыми естественными отношениями”, Изв. вузов. Матем., 2016, № 6, 15–26; Russian Math. (Iz. VUZ), 60:6 (2016), 12–20
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm9119 https://www.mathnet.ru/rus/ivm/y2016/i6/p15
|
Статистика просмотров: |
Страница аннотации: | 186 | PDF полного текста: | 34 | Список литературы: | 52 | Первая страница: | 21 |
|