CIEM 05476
CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Implicit definition of the quaternary discriminator
Autor/es:
CAMPERCHOLI, MIGUEL
Lugar:
Szeged
Reunión:
Conferencia; Conference on Universal Algebra and Lattice Theorie; 2012
Institución organizadora:
Bolyai Institute, University of Szeged
Resumen:
We prove that the quaternary discriminator is implicitly definable on every member of K (via the same system) iff K is contained in the class of relatively simple members of some relatively semisimple quasivariety with equationally definable relative principal congruences. The results in this talk are the joint work of Diego Vaggione and the author.
