С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 2005, том 46, номер 3,страницы 523

Эта публикация цитируется в 7 статьях

Об автоморфных кортежах элементов в вычислимых моделях

С. С. Гончаров^a, В. С. Харизанова^b, Д. Ф. Найт^c, А. С. Морозов^a, А. В. Ромина^d

^a Институт математики им. С. Л. Соболева СО РАН
^b George Washington University
^c University of Notre Dame
^d Max Planck Institute for Informatics

Аннотация: Получен критерий существования двух изоморфных, но не гиперарифметически изоморфных кортежей в гиперарифметической модели. Этот критерий использован для доказательства того, что такая ситуация встречается в моделях из некоторых хорошо известных классов.

Ключевые слова: модель, вычислимость, вычислимая модель, гиперарифметическая модель, автоморфизм, рекурсивный автоморфизм, допустимые множества, рекурсивная модель, конструктивная модель, ранг Скотта, кванторный ранг, автоморфные кортежи.

УДК: 510.8

Статья поступила: 10.11.2004