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

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

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



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






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


Сибирский математический журнал, 2004, том 45, номер 3, страницы 634–652 (Mi smj1096)  

Эта публикация цитируется в 16 научных статьях (всего в 16 статьях)

Об отношении $\Sigma$-сводимости между допустимыми множествами

А. С. Морозов

Институт математики им. С. Л. Соболева СО РАН
Список литературы:
Аннотация: Изучается сводимость на допустимых множествах, являющаяся усилением обычной $\Sigma$-представимости моделей, неформальным прообразом которой может служить интерпретируемость одних вычислительных устройств в других. Получены критерии сводимости для рекурсивно развернутых и чистых множеств, введено понятие скачка и получены неулучшаемые оценки для ординалов скачков, показана переносимость сводимости на $\mathbb{HYP}$-надстройки. Приведены некоторые результаты о соотношении этой сводимости с уже известными сводимостями.
Ключевые слова: определимость, вычислимость, сводимость, допустимое множество.
Статья поступила: 24.06.2003
Англоязычная версия:
Siberian Mathematical Journal, 2004, Volume 45, Issue 3, Pages 522–535
DOI: https://doi.org/10.1023/B:SIMJ.0000028617.17064.08
Реферативные базы данных:
УДК: 510.56
Образец цитирования: А. С. Морозов, “Об отношении $\Sigma$-сводимости между допустимыми множествами”, Сиб. матем. журн., 45:3 (2004), 634–652; Siberian Math. J., 45:3 (2004), 522–535
Цитирование в формате AMSBIB
\RBibitem{Mor04}
\by А.~С.~Морозов
\paper Об отношении $\Sigma$-сводимости между допустимыми множествами
\jour Сиб. матем. журн.
\yr 2004
\vol 45
\issue 3
\pages 634--652
\mathnet{http://mi.mathnet.ru/smj1096}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2078722}
\zmath{https://zbmath.org/?q=an:1097.03039}
\transl
\jour Siberian Math. J.
\yr 2004
\vol 45
\issue 3
\pages 522--535
\crossref{https://doi.org/10.1023/B:SIMJ.0000028617.17064.08}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000222146600014}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj1096
  • https://www.mathnet.ru/rus/smj/v45/i3/p634
  • Эта публикация цитируется в следующих 16 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:313
    PDF полного текста:125
    Список литературы:46
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024