Model companions for finitely generated universal Horn classes
From MaRDI portal
Publication:3734377
DOI10.2307/2274092zbMath0599.03033MaRDI QIDQ3734377
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
03C60: Model-theoretic algebra
08B10: Congruence modularity, congruence distributivity
03C52: Properties of classes of models
03C10: Quantifier elimination, model completeness, and related topics
Related Items
The countable existentially closed pseudocomplemented semilattice, Existentially closed semilattices, Finite axiomatizations for existentially closed posets and semilattices, Subdirect decomposition of \(n\)-chromatic graphs, Model theoretic properties in the variety generated by a primal algebra, The countable homogeneous universal model of \(B_ 2\)
Cites Work