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

DOI10.2307/2273353zbMATH Open0445.03017OpenAlexW2052272576MaRDI QIDQ3889034FDOQ3889034

Author name not available (Why is that?)

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

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

Cites Work

• Completing theories by forcing
• Omitting types of prenex formulas
• Completeness and persistence in the theory of models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• On Boolean algebras and integrally closed commutative regular rings
• Model theoretic properties in the variety generated by a primal algebra
• 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)