|
Сибирский математический журнал, 1984, том 25, номер 4, страницы 78–81
(Mi smj6877)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О разрешимости расширенных теорий сложения натуральных и целых чисел
А. А. Иванов
Аннотация:
Доказывается разрешимость элементарных теорий сложения натуральных и целых чисел в сигнатуре, расширенной одноместным предикатом, выделяющим степени фиксированного простого числа $p$, и двухместным предикатом $x|_{Pr}y$, выделяющим такие $x$ и $y$, что $x$ – степень $p$, и $x$ делит натуральное число $y$.
Библ. 5.
Статья поступила: 11.05.1982
Образец цитирования:
А. А. Иванов, “О разрешимости расширенных теорий сложения натуральных и целых чисел”, Сиб. матем. журн., 25:4 (1984), 78–81; Siberian Math. J., 25:4 (1984), 572–574
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6877 https://www.mathnet.ru/rus/smj/v25/i4/p78
|
Статистика просмотров: |
Страница аннотации: | 51 | PDF полного текста: | 17 |
|