|
Алгебра и логика, 2002, том 41, номер 5, страницы 515–530
(Mi al195)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Группы автоморфизмов вычислимо перечислимых предикатов
Э. Ф. Комбарро
Аннотация:
Изучаются группы автоморфизмов двух важнейших предикатов в теории вычислимости: предиката $x\in W_y$ и графика универсальной частичной вычислимой функции. Показывается, что все автоморфизмы этих предикатов вычислимы. Изучается действие этих групп на некоторых индексных множествах и устанавливаются некоторые результаты о структуре этих групп. Изучаются гомоморфизмы этих двух предикатов. В этом случае ситуация меняется: все гомоморфизмы универсальной функции вычислимы, но в каждой тьюринговой степени существуют гомоморфизмы предиката $x\in W_y$.
Ключевые слова:
группа автоморфизмов, гомоморфизм, вычислимо перечислимый предикат.
Поступило: 22.12.2000
Образец цитирования:
Э. Ф. Комбарро, “Группы автоморфизмов вычислимо перечислимых предикатов”, Алгебра и логика, 41:5 (2002), 515–530; Algebra and Logic, 41:5 (2002), 285–294
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al195 https://www.mathnet.ru/rus/al/v41/i5/p515
|
Статистика просмотров: |
Страница аннотации: | 253 | PDF полного текста: | 87 | Список литературы: | 50 | Первая страница: | 1 |
|