Autostable atomic-ideal enrichments of computable Boolean algebras |
| |
| Authors: | P. E. Alaev |
| |
| Affiliation: | 1.Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences (Sobolev Institute of Mathematics of SB RAS),Novosibirsk State University,Novosibirsk,Russia |
| |
| Abstract: | The paper is devoted to an algebraic description of autostable (computably categorical) Boolean algebras in a language enriched by predicates distinguishing a finite set of ideals and atoms with respect to some ideals in this set. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
