scientific article; zbMATH DE number 5268878
From MaRDI portal
Publication:5301323
zbMATH Open1139.03026MaRDI QIDQ5301323
Publication date: 29 April 2008
Title of this publication is not available (Why is that?)
quantifier eliminationmodel completionslexicographic productsquasi-o-minimalordered commutative monoids
Ordered semigroups and monoids (06F05) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (4)
Residuation in commutative ordered monoids with minimal zero ⋮ Composition with Algebra at the Background ⋮ Monomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra ⋮ The structure of commutative congruence compact monoids
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5301323)
