Модельно полные теории деревьев

Исследуются модельно полные теории в конечном языке отношений с некоторым дополнительным условием (сильная $\forall$-конечность). Получен ряд общих результатов о таких теориях, которые затем применяются для изучения модельно полных теорий деревьев, рассматриваемых как частично упорядоченные множества. В частности, доказано, что любая модельно полная теория деревьев разрешима.
Библиогр. 9.