Countably-categorical Boolean algebras with distinguished ideals
From MaRDI portal
Publication:1104315
DOI10.1007/BF00370375zbMath0647.03025MaRDI QIDQ1104315
Publication date: 1987
Published in: Studia Logica (Search for Journal in Brave)
decidabilityfinite axiomatizabilitycountable categoricitystrong constructivizabilityBoolean algebras with distinguished ideals
Related Items (11)
Unnamed Item ⋮ The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals ⋮ Stone space partitions indexed by a poset ⋮ Automorphisms of Boolean algebras definable by fixed elements ⋮ The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models ⋮ Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals ⋮ Automorphisms of Boolean algebras determined by fixed points ⋮ Computably categorical Boolean algebras enriched by ideals and atoms ⋮ Autostability of Boolean algebras with distinguished ideal ⋮ Lindenbaum-Tarski algebra for the class of Boolean algebras with one distinguished ideal ⋮ Direct summands of Boolean algebras with distinguished ideals
Cites Work
This page was built for publication: Countably-categorical Boolean algebras with distinguished ideals