CIEM 05476
CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Unidad Ejecutora - UE
artículos
Título:
Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids
Autor/es:
PEDRO SÁNCHEZ TERRAF
Revista:
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS
Editorial:
Springer
Referencias:
Año: 2008
ISSN:
0167-8094
Resumen:
We study varieties with a term-definable poset structure, po-groupoids". It is known that connected posets have the "strict refinement property" (SRP). In [1] it is proved that semidegenerate varieties with the SRP have definable factor congruences and if the similarity type is finite, directly indecomposables are axiomatizable by a set of first-order sentences.We obtain such a set for semidegenerate varieties of connected po-groupoids and show its quantifier complexity is bounded in general.--------[1] P. Sánchez Terraf and D. Vaggione, "Varieties with Definable Factor Congruences", Trans. Amer. Math. Soc., to appear.
