Recursive prime models for Boolean algebras

DOI10.4064/CM-41-1-25-33MaRDI QIDQ3889033zbMATH OpenOpenAlexFDO

Authors Jerud J. Mead

Publication date 1979

Published in Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/cm-41-1-25-33

zbMATH Keywords

complete extension of the theory of Boolean algebrasfinite axiomatizabilityLindenbaum algebraprime modelrecursive model theorystrong computability

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Boolean algebras (Boolean rings) (06E99)

Cited in

(6)

• Model theoretic properties in the variety generated by a primal algebra
• Degrees of autostability for prime Boolean algebras
• The index set of Boolean algebras autostable relative to strong constructivizations
• Theory of Abelian groups with constructive models
• Strong constructivizability of countable saturated Boolean algebras
• Boolean algebras autostable relative to \(n\)-decidable presentations

This page was built for publication: Recursive prime models for Boolean algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3889033)