P. E. Alaev, “Autostable <nobr>$\rm I$</nobr>-Algebras”, Algebra Logika, 2004, Volume 43, Number 5,Pages <nobr>511

This article is cited in 13 papers

Autostable $\rm I$-Algebras

P. E. Alaev

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: We give an algebraic description for autostable (computably categorical) Boolean algebras with a finite set of distinguished ideals. It is proved that an elementary theory for every such algebra is $\omega$-categorical and decidable.

Keywords: autostable (computably categorical) Boolean algebra with finite set of distinguished ideals, elementary theory, $\omega$-categorical theory, decidable theory.

UDC: 510.5+510.6+512.563

Received: 19.02.2003
Revised: 18.07.2003