|
Сибирский математический журнал, 1983, том 24, номер 6, страницы 56–65
(Mi smj6781)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Некоторые теории в обобщенных исчислениях
А. А. Иванов
Аннотация:
Рассматриваются некоторые теории в исчислении с квантором $(\le x)$. Доказывается разрешимость в этом исчислении теории любой локально свободной алгебры, теории алгебраически замкнутых полей характеристики $0$, теории вещественно замкнутых полей, теории сложения натуральных чисел.
Библ. 6.
Статья поступила: 02.09.1981
Образец цитирования:
А. А. Иванов, “Некоторые теории в обобщенных исчислениях”, Сиб. матем. журн., 24:6 (1983), 56–65; Siberian Math. J., 24:6 (1983), 868–876
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6781 https://www.mathnet.ru/rus/smj/v24/i6/p56
|
|