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

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

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



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






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


Сибирский математический журнал, 1977, том 18, номер 4, страницы 830–837 (Mi smj3958)  

О выразимости в ограниченной арифметике второго порядка

А. А. Набебин
Аннотация: Дается элементарно-логическое описание класса предикатов, выразимых в ограниченной арифметике второго порядка (0А2) формулами с только предметными свободными переменными. Показывается, что никакая элементарная теория конечного числа выразимых в 0А2 предикатов не является полной в 0А2 (не описывает множества выразимых в 0А2 предикатов).
Статья поступила: 02.11.1975
Англоязычная версия:
Siberian Mathematical Journal, 1977, Volume 18, Issue 4, Pages 588–593
DOI: https://doi.org/10.1007/BF00967200
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.11
Образец цитирования: А. А. Набебин, “О выразимости в ограниченной арифметике второго порядка”, Сиб. матем. журн., 18:4 (1977), 830–837; Siberian Math. J., 18:4 (1977), 588–593
Цитирование в формате AMSBIB
\RBibitem{Nab77}
\by А.~А.~Набебин
\paper О выразимости в ограниченной арифметике второго порядка
\jour Сиб. матем. журн.
\yr 1977
\vol 18
\issue 4
\pages 830--837
\mathnet{http://mi.mathnet.ru/smj3958}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0498076}
\zmath{https://zbmath.org/?q=an:0385.03047}
\transl
\jour Siberian Math. J.
\yr 1977
\vol 18
\issue 4
\pages 588--593
\crossref{https://doi.org/10.1007/BF00967200}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1977FE27600011}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj3958
  • https://www.mathnet.ru/rus/smj/v18/i4/p830
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024