Исчисление с квантором элементарной эквивалентности

Рассматривается расширение узкого исчисления предикатов квантором, интерпретируемым как элементарная эквивалентность моделей, получаемых из данной обогащением относительно формульными подмножествами. Рассматриваются теоретико-модельные свойства такого исчисления, а также вопросы разрешимости теорий различных классов моделей в этом исчислении.
Библ. 11.