|
Алгебра и логика, 1986, том 25, номер 4, страницы 415–424
(Mi al1949)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О вычислимых группах автоморфизмов моделей
А. С. Морозов
Аннотация:
Изучается понятие вычислимости для групп рекурсивных автоморфизмов конструктивных моделей. Получен критерий вычислимости для таких групп, а также точная оценка в арифметической иерархии для множества пар кортежей элементов конструктивной модели, которые переводятся друг в друга некоторым рекурсивным автоморфизмом.
Поступило: 15.10.1985
Образец цитирования:
А. С. Морозов, “О вычислимых группах автоморфизмов моделей”, Алгебра и логика, 25:4 (1986), 415–424
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1949 https://www.mathnet.ru/rus/al/v25/i4/p415
|
Статистика просмотров: |
Страница аннотации: | 83 | PDF полного текста: | 20 |
|