We show that no finite set of first-order axioms can define the class of representable semilattice-ordered monoids.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: