Elimination of quantifiers for commutative theories
From MaRDI portal
Publication:1594202
zbMath0958.03021MaRDI QIDQ1594202
Publication date: 28 January 2001
Published in: Doklady Mathematics (Search for Journal in Brave)
quantifier eliminationcommutative theoriesNDOP propertyno-dimensional-order propertyweakly classified theories
Classification theory, stability, and related concepts in model theory (03C45) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Monoid intervals in lattices of clones, Coverings by classes of permutable equivalence relations, Interpretation of graphs in noncommutative theories of Frechet powers