О представимости групп -определимых перестановок над допустимыми множествами.
О разрешимости теории булевых алгебр с выделенным идеалом
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
Об одном классе рекурсивно перечислимых множеств.
Автоморфизмы конструктивизаций булевых алгебр.
Тьюрингова сводимость как алгебраическая вложимость
Ещё раз о счетно-категоричных предложениях.
Жесткие конструктивные модули
О вычислимых группах автоморфизмов моделей.
О рекурсивных автоморфизмах атомных булевых алгебр
Функциональные деревья и автоморфизмы моделей
Об одном вопросе Хигмана
Счетные однородные булевы алгебры.
Об одном вопросе Бергстры и Тьюрина.
Группы рекурсивных автоморфизмов конструктвных булевых алгебр
Перестановки и неявная определимость
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
Еще раз о вопросе Хигмана
О группах автоморфизмов разрешимых моделей
Эндоморфизмы группы всех рекурсивных перестановок.
Page 1 Next