INVESTIGADORES
SAN MARTIN Hernan Javier
congresos y reuniones científicas
Título:
Sobre la extensión de Heyting libre de un álgebra de Hilbert
Autor/es:
SAN MARTÍN HERNÁN JAVIER ; ,CASTIGLIONI JOSÉ LUIS
Lugar:
Buenos Aires
Reunión:
Congreso; LXVI Reunión de comunicaciones científicas (UMA); 2017
Institución organizadora:
Conicet-UBA
Resumen:
La clase de álgebras de Hilbert forma una variedad que representa lacontraparte algebraica del fragmento implicativo del cálculo proposicional intuicionista. En esta charla vamos a presentar una construcción explícitapara el adjunto a izquierda del funtor olvido definido desde lacategoría algebraica de álgebras de Heyting hacia lacategoría algebraica de álgebras de Hilbert con supremo y primer elemento.
