|
Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)
О теореме Хуторецкого для обобщённо вычислимых семейств
М. Х. Файзрахманов Казанский (Приволжский) федерал. ун-т, ул. Кремлёвская, 18, г. Казань, 420008, РОССИЯ
Аннотация:
Даются достаточные условия на обобщённо вычислимые нумерации, при которых
нумерации удовлетворяют утверждению теоремы Хуторецкого. Отсюда следует
предельность универсальных $\Sigma^0_\alpha$-вычислимых нумераций при
$2\leqslant\alpha<\omega^{CK}_1$.
Ключевые слова:
обобщённо вычислимое семейство, обобщённо вычислимая нумерация, теорема
Хуторецкого.
Поступило: 20.04.2018 Окончательный вариант: 08.11.2019
Образец цитирования:
М. Х. Файзрахманов, “О теореме Хуторецкого для обобщённо вычислимых семейств”, Алгебра и логика, 58:4 (2019), 528–541; Algebra and Logic, 58:4 (2019), 356–365
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al914 https://www.mathnet.ru/rus/al/v58/i4/p528
|
Статистика просмотров: |
Страница аннотации: | 278 | PDF полного текста: | 23 | Список литературы: | 28 | Первая страница: | 6 |
|