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

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

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


Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Известия Академии наук СССР. Серия математическая, 1987, том 51, выпуск 1, страницы 111–130 (Mi im1265)  
Неконструктивизируемые формальные арифметические структуры

А. А. Тверской
PDF полного текста (3025 kB) PDF английской версии (1373 kB)
Список литературы:
PDF
HTML
Аннотация: Установлена неконструктивизируемость ряда формальных арифметических структур в нестандартных моделях формальной арифметики Пеано $PA$. Также рассмотрена формальная структура, конструктивизируемость которой в счетной нестандартной модели $PA$ зависит от выбора такой модели. Все конкретные примеры построены на формулах класса $\Delta_1(PA)$. Стандартные интерпретации в связи с этим рекурсивны.
Библиография: 12 названий
Поступило в редакцию: 07.01.1985
Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1988, Volume 30, Issue 1, Pages 103–122
DOI: https://doi.org/10.1070/IM1988v030n01ABEH000995
Реферативные базы данных:
УДК: 517.12
MSC: Primary 03H15; Secondary 03C62
Образец цитирования: А. А. Тверской, “Неконструктивизируемые формальные арифметические структуры”, Изв. АН СССР. Сер. матем., 51:1 (1987), 111–130; Math. USSR-Izv., 30:1 (1988), 103–122
Цитирование в формате AMSBIB
\RBibitem{Tve87}
\by А.~А.~Тверской
\paper Неконструктивизируемые формальные арифметические структуры
\jour Изв. АН СССР. Сер. матем.
\yr 1987
\vol 51
\issue 1
\pages 111--130
\mathnet{http://mi.mathnet.ru/im1265}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=887603}
\zmath{https://zbmath.org/?q=an:0659.03037|0646.03053}
\transl
\jour Math. USSR-Izv.
\yr 1988
\vol 30
\issue 1
\pages 103--122
\crossref{https://doi.org/10.1070/IM1988v030n01ABEH000995}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im1265
  • https://www.mathnet.ru/rus/im/v51/i1/p111
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024