CIEM 05476
CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Unidad Ejecutora - UE
artículos
Título:
Existentially definable factor congruences
Autor/es:
PEDRO SÁNCHEZ TERRAF
Revista:
ACTA SCIENTIARUM MATHEMATICARUM (SZEGED)
Editorial:
Instituto Bolyai, Universidad de Szeged
Referencias:
Lugar: Szeged; Año: 2010 vol. 76 p. 49 - 53
ISSN:
0001-6969
Resumen:
A variety V has definable factor congruences if and only if factor congruences can be defined by a first-order formula Phi having central elements as parameters. We prove that if Phi can be chosen to be existential, factor congruences in every algebra of V are compact.
