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