The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals
1995
A complete solution is given to the problem of describing algebras with distinguished ideals, formulated by Peretyatkin. It is proven that such an algebra is isomorphic toℬωω× η, an interval algebra of the linear ordering ωω × η. I-algebras the elementary theory of each of which is axiomatizable by a single atom in some finite quotient with respect to the Frechet ideal of the Lindenbaum-Tarski algebra for the class of Boolean algebras with distinguished ideals are fully described in terms of direct summands.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
5
References
1
Citations
NaN
KQI