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

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

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



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






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


Матем. тр., 2018, том 21, номер 2, страницы 3–60 (Mi mt337)  

Вычислимая структура с нестандартной вычислимостью

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

a Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск, 630090 РОССИЯ
b Институт математики им. С. Л. Соболева СО РАН, просп. Академика Коптюга, 4, Новосибирск, 630090 РОССИЯ

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

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

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-01-00624_а
Работа второго автора поддержана грантом РФФИ (код проекта 18-01-00624).


DOI: https://doi.org/10.17377/mattrudy.2018.21.201

Полный текст: PDF файл (491 kB)
Первая страница: PDF файл
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 510.5
Статья поступила: 13.09.2017

Образец цитирования: Р. Р. Авдеев, В. Г. Пузаренко, “Вычислимая структура с нестандартной вычислимостью”, Матем. тр., 21:2 (2018), 3–60

Цитирование в формате 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}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mt337
  • http://mi.mathnet.ru/rus/mt/v21/i2/p3

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Математические труды Siberian Advances in Mathematics
    Просмотров:
    Эта страница:38
    Литература:3
    Первая стр.:3

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019