|
This article is cited in 13 scientific papers (total 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.
Received: 19.02.2003 Revised: 18.07.2003
Citation:
P. E. Alaev, “Autostable $\rm I$-Algebras”, Algebra Logika, 43:5 (2004), 511–550; Algebra and Logic, 43:5 (2004), 285–306
Linking options:
https://www.mathnet.ru/eng/al87 https://www.mathnet.ru/eng/al/v43/i5/p511
|
Statistics & downloads: |
Abstract page: | 413 | Full-text PDF : | 121 | References: | 56 | First page: | 1 |
|