Сибирский математический журнал
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сибирский математический журнал, 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
Англоязычная версия:
Siberian Mathematical Journal, 2005, Volume 46, Issue 3, Pages 405–412
DOI: https://doi.org/10.1007/s11202-005-0043-9
Реферативные базы данных:
УДК: 510.8
Образец цитирования: С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 46:3 (2005), 523–532; Siberian Math. J., 46:3 (2005), 405–412
Цитирование в формате AMSBIB
\RBibitem{GonHarKni05}
\by С.~С.~Гончаров, В.~С.~Харизанова, Д.~Ф.~Найт, А.~С.~Морозов, А.~В.~Ромина
\paper Об~автоморфных кортежах элементов в~вычислимых моделях
\jour Сиб. матем. журн.
\yr 2005
\vol 46
\issue 3
\pages 523--532
\mathnet{http://mi.mathnet.ru/smj984}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2164557}
\transl
\jour Siberian Math. J.
\yr 2005
\vol 46
\issue 3
\pages 405--412
\crossref{https://doi.org/10.1007/s11202-005-0043-9}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000229958200004}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj984
  • https://www.mathnet.ru/rus/smj/v46/i3/p523
  • Эта публикация цитируется в следующих 7 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:365
    PDF полного текста:91
    Список литературы:59
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024