Theories of ordered commutative monoids

MaRDI QIDQ5301323zbMATH OpenFDO

Authors Hiroshi Tanaka

Publication date 29 April 2008

zbMATH Keywords

lexicographic productsmodel completionsordered commutative monoidsquantifier eliminationquasi-o-minimal

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of ordered structures; o-minimality (03C64) Ordered semigroups and monoids (06F05)

Recommendations

• Quantifier elimination of the products of ordered abelian groups
• Totally ordered commutative monoids
• On finitely presented, cancellative and commutative ordered monoids
• On positive commutative tomonoids
• DISCRETE ORDERINGS AND COMMUTATIVE MONOIDS

Cited in

(5)

• Monomial orderings, rewriting systems, and Gröbner bases for the commutator ideal of a free algebra
• The structure of commutative congruence compact monoids
• Residuation in commutative ordered monoids with minimal zero
• Composition with Algebra at the Background
• Resource convertibility and ordered commutative monoids

This page was built for publication: Theories of ordered commutative monoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5301323)