|
Сибирский математический журнал, 1973, том 14, номер 5, страницы 1139–1143
(Mi smj4403)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Отдел заметок
О разрешимости некоторых теорий целых чисел
Ю. Г. Пензин
Аннотация:
Доказывается разрешимость универсальной теории аддитивной группы целых чисел с предикатом взаимной простоты и неразрешимость элементарной теории этой группы с предикатами простоты и взаимной простоты. Показано также, что аддитивная группа целых чисел с максимальными подгруппами в сигнатуре $\langle+,\le,\in\rangle$ имеет разрешимую универсальную и неразрешимую элементарную теории.
Статья поступила: 17.11.1972
Образец цитирования:
Ю. Г. Пензин, “О разрешимости некоторых теорий целых чисел”, Сиб. матем. журн., 14:5 (1973), 1139–1143; Siberian Math. J., 14:5 (1973), 796–799
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj4403 https://www.mathnet.ru/rus/smj/v14/i5/p1139
|
Статистика просмотров: |
Страница аннотации: | 65 | PDF полного текста: | 22 |
|