INVESTIGADORES
CASTIGLIONI JosÉ Luis
congresos y reuniones científicas
Título:
Coproductos finitos de álgebras de Heyting finitas con sucesor,
Autor/es:
J.L. CASTIGLIONI; H.J. SAN MARTÍN
Lugar:
Rosario
Reunión:
Encuentro; LXII Reunión de comunicaciones científicas (UMA); 2013
Institución organizadora:
Universidad Nacional de Rosario
Resumen:
La clase de todas las álgebras de Heyting con sucesor es una variedad. En [Castiglioni, J.L. y San Martn, H.J., On the variety of Heyting algebraswith successor generated by all nite chains, Reports on Mathematical Logic 45 (2010), pp. 225-248], se da una descripción explícita del espacio de Esakia del coproducto de dos algebras de Gödel finitas en la categora de las álgebras de Heyting con sucesor, en términos de los espacios de las mismas.
En esta comunicación presentaremos algunos avances realizados y dificultades encontradas en el problema de dar una construcción explcíta como la dada en el citado artículo, para el coproducto de dos álgebras no necesariamente prelineales en la categoría de las álgebras de Heyting finitas con sucesor.
