scientific article
From MaRDI portal
Publication:3693519
zbMath0575.03027MaRDI QIDQ3693519
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model completenessBoolean productsstalkuniversal Horn theoryAbelian ordered groupsfinite genericityfinitely generic models
Model-theoretic algebra (03C60) Axiomatic model classes (08C10) Varieties (08B99) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication: