Model companions and k-model completeness for the complete theories of Boolean algebras

DOI10.2307/2273353MaRDI QIDQ3889034zbMATH OpenOpenAlexFDO

Authors

Publication date 1980

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273353

zbMATH Keywords

complete theories of Boolean algebrasErshov invariantsk-model completenessmodel companions

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15) Model-theoretic forcing (03C25) Models of other mathematical theories (03C65) Boolean algebras (Boolean rings) (06E99)

Cites work

• Completeness and persistence in the theory of models
• Completing theories by forcing
• scientific article; zbMATH DE number 3641379 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3383932 (Why is no real title available?)
• Omitting types of prenex formulas

Cited in

(3)

• Model theoretic properties in the variety generated by a primal algebra
• On Boolean algebras and integrally closed commutative regular rings
• Logic of reduced power structures

This page was built for publication: Model companions and k-model completeness for the complete theories of Boolean algebras

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