О разрешимости теорий в некотором исчислении

А. А. Иванов


Аннотация: Рассматриваются теории в исчислении, которое ранее было определено А. Г. Пинусом (см. РЖ Мат., 1979, 8А49). Указан пример класса моделей с неразрешимой теорией в этом исчислении, но с разрешимой в этом исчислении теорией счетных моделей. Доказана разрешимость в этом исчислении некоторых теорий абелевых групп, алгебраически замкнутых полей, вещественно замкнутых полей. Библ. 7 назв.

УДК: 510.665

Поступило: 03.02.1981

 Англоязычная версия: Mathematical Notes, 1983, 33:4, 317–321

Реферативные базы данных:

• 
• 
•