Строение алгебраических систем с полной теорией бесконечных подсистем

Описывается строение алгебраических систем с полной теорией бесконечных подсистем, т.е. систем, у которых все бесконечные подсистемы элементарно эквивалентны. Доказывается теорема, характеризующая свойство системы иметь ровно одну полную теорию бесконечных подсистем.