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

DOI10.2307/2273353zbMath0445.03017OpenAlexW2052272576MaRDI QIDQ3889034

No author found.

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

model companionscomplete theories of Boolean algebrasErshov invariantsk-model completeness

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• Completeness and persistence in the theory of models
• Omitting types of prenex formulas
• Completing theories by forcing
• Unnamed Item
• Unnamed Item
• Unnamed Item