Власов Д. Ю.
Строение алгебраических систем с полной теорией бесконечных
подсистем
Описывается строение алгебраических систем с полной теорией бесконечных
подсистем, т. е. систем, у которых все бесконечные подсистемы элементарно
эквивалентны. Доказывается теорема, характеризующая свойство системы
иметь ровно одну полную теорию бесконечных подсистем.
|
Vlasov D. Yu.
Structure of the algebraic systems with the complete theory
of infinite subsystems
The structure is described for the algebraic systems with the complete
theory of infinite subsystems, i.e., the systems with all infinite subsystems
elementarily equivalent. A theorem is proved characterizing the property
of a system to have exactly the sole complete theory of infinite subsystems.
|