Computably categorical Boolean algebras enriched by ideals and atoms |
| |
| Authors: | PE Alaev |
| |
| Institution: | Institute of Mathematics, pr. Koptuga 4, 630090 Novosibirsk, Russian Federation Novosibirsk State University, Universitetskiy pr. 2, 630090 Novosibirsk, Russian Federation |
| |
| Abstract: | We describe computably categorical Boolean algebras whose language is enriched by one-place predicates that distinguish a finite set of ideals and atoms with respect to some ideals in this set. |
| |
| Keywords: | 06E75 03D45 03C57 |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
