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

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

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


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




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

Математические труды, 2018, том 21, номер 2, страницы 3–60
DOI: https://doi.org/10.17377/mattrudy.2018.21.201 (Mi mt337) 		 
Вычислимая структура с нестандартной вычислимостью

Р. Р. Авдеевa, В. Г. Пузаренкоab

a Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск, 630090 РОССИЯ
b Институт математики им. С. Л. Соболева СО РАН, просп. Академика Коптюга, 4, Новосибирск, 630090 РОССИЯ
PDF полного текста (491 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/mattrudy.2018.21.201
Аннотация: В работе приводится пример вычислимого допустимого множества, имеющего более высокий уровень вычислимости, нежели у стандартной модели арифметики. Попутно строится пример $1$-разрешимой модели неразрешимой подмодельно полной теории.
Ключевые слова и фразы: допустимое множество, гипердопустимое множество, наследственно конечная надстройка, рекурсивно насыщенная модель, вычислимая модель, разрешимая модель, сигма-сводимость, сигма-определимость.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-01-00624_а
Работа второго автора поддержана грантом РФФИ (код проекта 18-01-00624).
Статья поступила: 13.09.2017
Англоязычная версия:
Siberian Advances in Mathematics, 2019, Volume 29, Issue 2, Pages 77–115
DOI: https://doi.org/10.3103/S1055134419020019
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5
Образец цитирования: Р. Р. Авдеев, В. Г. Пузаренко, “Вычислимая структура с нестандартной вычислимостью”, Матем. тр., 21:2 (2018), 3–60; Siberian Adv. Math., 29:2 (2019), 77–115
Цитирование в формате AMSBIB
\RBibitem{AvdPuz18}
\by Р.~Р.~Авдеев, В.~Г.~Пузаренко
\paper Вычислимая структура с нестандартной вычислимостью
\jour Матем. тр.
\yr 2018
\vol 21
\issue 2
\pages 3--60
\mathnet{http://mi.mathnet.ru/mt337}
\crossref{https://doi.org/10.17377/mattrudy.2018.21.201}
\transl
\jour Siberian Adv. Math.
\yr 2019
\vol 29
\issue 2
\pages 77--115
\crossref{https://doi.org/10.3103/S1055134419020019}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85067695211}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mt337
  • https://www.mathnet.ru/rus/mt/v21/i2/p3
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические труды Siberian Advances in Mathematics
    Статистика просмотров:
    Страница аннотации:251
    PDF полного текста:51
    Список литературы:29
    Первая страница:7
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024