Artículo
Existentially definable factor congruences
Fecha de publicación:
01/06/2010
Editorial:
Springer
Revista:
Acta Scientiarum Mathematicarum (Szeged)
ISSN:
0001-6969
e-ISSN:
2064-8316
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
A variety V has definable factor congruences if and only if factor congruences can be defined by a first-order formula Φ having central elements as parameters. We prove that if Φ can be chosen to be existential, then factor congruences in every algebra of V are compact.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CIEM)
Articulos de CENT.INV.Y ESTUDIOS DE MATEMATICA DE CORDOBA(P)
Articulos de CENT.INV.Y ESTUDIOS DE MATEMATICA DE CORDOBA(P)
Citación
Sanchez Terraf, Pedro Octavio; Existentially definable factor congruences; Springer; Acta Scientiarum Mathematicarum (Szeged); 76; 1-2; 1-6-2010; 49-53
Compartir
Altmétricas