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

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

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



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






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


Известия Академии наук СССР. Серия математическая, 1979, том 43, выпуск 5, страницы 1175–1195 (Mi im1752)  

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

О некоторых расширениях арифметики сложения натуральных чисел

А. Л. Семёнов
Список литературы:
Аннотация: В работе изучаются вопросы выразимости и разрешимости для элементарных теорий, получаемых расширением арифметики порядка и арфиметики сложения натуральных чисел. Получены результаты о разрешимости и неразрешимости элементарных теорий конкретных структур вида $\left<\mathbf N;+,P\right>$, где $P$ – фиксированный одноместный предикат, и о классе множеств, определимых в теории $\mathbf T\left<\mathbf N;+,\lambda x,\exists\,y\,(x=d^y)\right>$.
Библиография: 6 названий.
Поступило в редакцию: 10.01.1979
Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1980, Volume 15, Issue 2, Pages 401–418
DOI: https://doi.org/10.1070/IM1980v015n02ABEH001252
Реферативные базы данных:
УДК: 519.9
MSC: Primary 03F30; Secondary 03B25, 03C10
Образец цитирования: А. Л. Семёнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195; Math. USSR-Izv., 15:2 (1980), 401–418
Цитирование в формате AMSBIB
\RBibitem{Sem79}
\by А.~Л.~Семёнов
\paper О~некоторых расширениях арифметики сложения натуральных чисел
\jour Изв. АН СССР. Сер. матем.
\yr 1979
\vol 43
\issue 5
\pages 1175--1195
\mathnet{http://mi.mathnet.ru/im1752}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=552556}
\zmath{https://zbmath.org/?q=an:0443.03008|0417.03005}
\transl
\jour Math. USSR-Izv.
\yr 1980
\vol 15
\issue 2
\pages 401--418
\crossref{https://doi.org/10.1070/IM1980v015n02ABEH001252}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1980LD11600009}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im1752
  • https://www.mathnet.ru/rus/im/v43/i5/p1175
  • Эта публикация цитируется в следующих 22 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:726
    PDF русской версии:321
    PDF английской версии:40
    Список литературы:69
    Первая страница:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024