|
Известия Академии наук СССР. Серия математическая, 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
Образец цитирования:
А. Л. Семёнов, “О некоторых расширениях арифметики сложения натуральных чисел”, Изв. АН СССР. Сер. матем., 43:5 (1979), 1175–1195; Math. USSR-Izv., 15:2 (1980), 401–418
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im1752 https://www.mathnet.ru/rus/im/v43/i5/p1175
|
Статистика просмотров: |
Страница аннотации: | 726 | PDF русской версии: | 321 | PDF английской версии: | 40 | Список литературы: | 69 | Первая страница: | 1 |
|