|
Известия высших учебных заведений. Математика, 2010, номер 7, страницы 73–85
(Mi ivm7110)
|
|
|
|
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)
Представления отношения соседства вычислимого линейного порядка
А. Н. Фролов Отдел алгебры и математической логики, Казанский государственный университет, г. Казань
Аннотация:
Доказано, что нетривиальный спектр отношения соседства вычислимых линейных порядков, являющихся или строго $\eta$-схожими, или не $\eta$-схожими, замкнут наверх в классе вычислимо перечислимых степеней. Также показано, что спектр отношения соседства содержит $\mathbf0$ тогда и только тогда, когда он либо тривиальный, либо содержит все вычислимо перечислимые степени.
Ключевые слова:
линейные порядки, отношение соседства, спектры тьюринговых степеней, вычислимые представления.
Поступила: 09.09.2008
Образец цитирования:
А. Н. Фролов, “Представления отношения соседства вычислимого линейного порядка”, Изв. вузов. Матем., 2010, № 7, 73–85; Russian Math. (Iz. VUZ), 54:7 (2010), 64–74
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm7110 https://www.mathnet.ru/rus/ivm/y2010/i7/p73
|
Статистика просмотров: |
Страница аннотации: | 350 | PDF полного текста: | 92 | Список литературы: | 45 | Первая страница: | 5 |
|