Некоторые теории в обобщенных исчислениях

Рассматриваются некоторые теории в исчислении с квантором $(\le x)$. Доказывается разрешимость в этом исчислении теории любой локально свободной алгебры, теории алгебраически замкнутых полей характеристики $0$, теории вещественно замкнутых полей, теории сложения натуральных чисел.
Библ. 6.