Abstract:
It is proved that for a linearly ordered monoid of depth 2, with an axiomatizable class of regular polygons, the completeness of this class is equivalent to its model completeness, and we give an algebraic description of such monoids.
Keywords:linearly ordered monoid, complete class, model complete class.