A monoid over which the class of regular polygons is complete is not model complete.
From MaRDI portal
Publication:1847307
DOI10.1007/BF02673040zbMath1042.20511MaRDI QIDQ1847307
Publication date: 6 January 2004
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02673040
03C60: Model-theoretic algebra
06F05: Ordered semigroups and monoids
20M30: Representation of semigroups; actions of semigroups on sets
03C10: Quantifier elimination, model completeness, and related topics
Cites Work