A monoid over which the class of regular polygons is complete is not model complete.

From MaRDI portal
Publication:1847307