О вычислимых группах автоморфизмов моделей.
А.С. Морозов (1986)
Algebra i Logika
Similarity:
Displaying similar documents to “Группы рекурсивных автоморфизмов конструктвных булевых алгебр”
О вычислимых группах автоморфизмов моделей.
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
С.П. Одинцов (1992)
Algebra i Logika
Similarity:
Группы автоморфизмов вычислимо перечислимых предикатов.
Э.Ф. Комбарро (2002)
Algebra i Logika
Similarity:
Еще раз о вопросе Хигмана
А.С. Морозов (2000)
Algebra i Logika
Similarity:
О группах автоморфизмов разрешимых моделей
А.С. Морозов, A. S. Morozov, A. S. Morozov, A. S. Morozov (1995)
Algebra i Logika
Similarity:
Импликативно селекторные множества.
А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)
Algebra i Logika
Similarity:
Эндоморфизмы группы всех рекурсивных перестановок.
А.С. Морозов, A. S. Morozov, A. S. Morozov, A. S. Morozov (1997)
Algebra i Logika
Similarity:
Рекурсивно-комбинаторные свойства подмножеств натуральных чисел
А.Н. Дегтев (1990)
Algebra i Logika
Similarity:
Рекурсивные однородные булевы алгебры
С.Ю. Подзоров (2001)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Эффективные иерархии
Н.В. Белякин (1990)
Algebra i Logika
Similarity: