|
Записки научных семинаров ЛОМИ, 1976, том 60, страницы 15–28
(Mi znsl2066)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Разрешимость универсальной теории натуральных
чисел со сложением и делимостью
А. П. Бельтюков
Аннотация:
Рассматривается класс всех бескванторных формул, построенных
из атомарных формул вида $(x+y=z)$, $(x=1)$ и $(x/y)$, где
предикат “|” интерпретируется как отношение делимости неотрицательных
целых чисел. Доказана разрешимость множества всех тех
формул из рассматриваемого класса, которые истинны хотя бы для
одного набора неотрицательных целых значений их переменных. Этот
результат эквивалентен разрешимости универсальной теории натуральных
чисел со сложением и делимостью. Библ. 5 назв.
Образец цитирования:
А. П. Бельтюков, “Разрешимость универсальной теории натуральных
чисел со сложением и делимостью”, Исследования по конструктивной математике и математической логике. VII, Зап. научн. сем. ЛОМИ, 60, Изд-во «Наука», Ленинград. отд., Л., 1976, 15–28; J. Soviet Math., 14:5 (1980), 1436–1444
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2066 https://www.mathnet.ru/rus/znsl/v60/p15
|
Статистика просмотров: |
Страница аннотации: | 559 | PDF полного текста: | 147 |
|