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.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    2
    References
    17
    Citations
    NaN
    KQI
    []