Publication:3693519
From MaRDI portal
zbMath0575.03027MaRDI QIDQ3693519
Publication date: 1985
model completeness; Boolean products; stalk; universal Horn theory; Abelian ordered groups; finite genericity; finitely generic models
03C60: Model-theoretic algebra
08C10: Axiomatic model classes
08B99: Varieties
03C10: Quantifier elimination, model completeness, and related topics