|
Сибирский математический журнал, 2005, том 46, номер 3, страницы 523–532
(Mi smj984)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Об автоморфных кортежах элементов в вычислимых моделях
С. С. Гончаровa, В. С. Харизановаb, Д. Ф. Найтc, А. С. Морозовa, А. В. Роминаd a Институт математики им. С. Л. Соболева СО РАН
b George Washington University
c University of Notre Dame
d Max Planck Institute for Informatics
Аннотация:
Получен критерий существования двух изоморфных, но не гиперарифметически изоморфных кортежей в гиперарифметической модели. Этот критерий использован для доказательства того, что такая ситуация встречается в моделях из некоторых хорошо известных классов.
Ключевые слова:
модель, вычислимость, вычислимая модель, гиперарифметическая модель, автоморфизм, рекурсивный автоморфизм, допустимые множества, рекурсивная модель, конструктивная модель, ранг Скотта, кванторный ранг, автоморфные кортежи.
Статья поступила: 10.11.2004
Образец цитирования:
С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 46:3 (2005), 523–532; Siberian Math. J., 46:3 (2005), 405–412
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj984 https://www.mathnet.ru/rus/smj/v46/i3/p523
|
Статистика просмотров: |
Страница аннотации: | 365 | PDF полного текста: | 91 | Список литературы: | 59 |
|