Elimination of quantifiers for commutative theories

zbMath0958.03021MaRDI QIDQ1594202

Evgeniĭ Andreevich Palyutin

Publication date: 28 January 2001

Published in: Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

quantifier eliminationcommutative theoriesNDOP propertyno-dimensional-order propertyweakly classified theories

Mathematics Subject Classification ID

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