Об элементарных свойствах экзистенциально замкнутых систем

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