Countably-categorical Boolean algebras with distinguished ideals
1987
In the paper all countable Boolean algebras with m distinguished. ideals having countably-categorical elementary theory are described and constructed. From the obtained characterization it follows that all countably-categorical elementary theories of Boolean algebras with distinguished ideals are finite-axiomatizable, decidable and, consequently, their countable models are strongly constructivizable.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
2
References
17
Citations
NaN
KQI