Isomorphy Types of Expanded Superatomic Ershov Algebras
Matematičeskie trudy, Tome 3 (2000) no. 2, pp. 182-201
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
Countable superatomic Ershov algebras with distinguished ideal are studied. A classification is given of isomorphy types of countable superatomic Ershov algebras with distinguished ideal and ordinal type at most $\omega$. It is proven that, for a sufficiently wide class of elementary theories $T$, there exist continuum many nonisomorphic countable Ershov algebras with distinguished ideal and countable ordinal type of a given theory $T$.