Model companions for finitely generated universal Horn classes

DOI10.2307/2274092zbMath0599.03033OpenAlexW2005764387MaRDI QIDQ3734377

Stanley N. Burris

Publication date: 1984

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

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

zbMATH Keywords

model companion of a universal Horn classprimitive recursive quantifier elimination

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Congruence modularity, congruence distributivity (08B10) Properties of classes of models (03C52) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (7)

Existentially closed semilattices ⋮ Finite axiomatizations for existentially closed posets and semilattices ⋮ The countable homogeneous universal model of \(B_ 2\) ⋮ The countable existentially closed pseudocomplemented semilattice ⋮ Subdirect decomposition of \(n\)-chromatic graphs ⋮ Model theoretic properties in the variety generated by a primal algebra ⋮ BL-global representations

Cites Work

• Congruences on products of algebras and functionally complete algebras
• Unnamed Item

This page was built for publication: Model companions for finitely generated universal Horn classes