INVESTIGADORES
SAN MARTIN Hernan Javier
congresos y reuniones científicas
Título:
Álgebras de Heyting con anticipador y su teoría de representación
Autor/es:
HERNÁN JAVIER SAN MARTÍN
Lugar:
Mendoza
Reunión:
Congreso; LVIII Reunión de Comunicaciones Científicas (UMA); 2008
Institución organizadora:
Universidad Nacional de Cuyo
Resumen:
Se establece una equivalencia categorial dual (utilizando la dualidad de Priestley) para la categoría de álgebras de Heyting que admiten el operador anticipador (como parte del lenguaje del álgebra). Este operador resulta ser no compatible y su existencia implica la existencia del sucesor (aunque la recíproca no es válida en general).
