on 18-05-2012
Maria João Gouveia, DM-UL / CAUL
May 18, 2012, Friday, 16h15m.
Abstract: A dualidade de Pontryagin, estabelecida em 1934 para a variedade dos grupos abelianos, e a dualidade de Stone, estabelecida em 1936 para a variedade das álgebras de Boole, são referências obrigatórias quando se remonta às origens da teoria das dualidades naturais. No entanto, é apenas nos anos 70 que surge um maior impulso, com o aparecimento da dualidade de Priestley, para os reticulados distributivos, e da dualidade de Hofmann-Mislove-Stralka para semi-reticulados. O trabalho de Davey e Werner, bem como o de Clark e Krauss, nos anos 80, abriram caminho ao desenvolvimento de toda uma teoria que foi conquistando o seu próprio espaço no seio da Álgebra. Neste seminário faremos uma breve incursão pela teoria das dualidades naturais, apresentando alguns dos resultados mais relevantes e referindo algumas das áreas de investigação, como por exemplo a das extensões canónicas de álgebras com reduto de reticulado, onde as dualidades e as suas técnicas são utilizadas.
Room: 3.10, Mathematics
Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER namely by the FCT project PEst-OE/EEI/LA0008/2011.
More Information..
on 04-05-2012
Gödel functional interpretation
Jaime Gaspar*
May 4, 2012, Friday, 16h15m.
Abstract: The Gödel functional interpretation is a celebrated tool with a wide range of applications: consistency results, independence results, and extraction of computational content from proofs, just to name a few. This talk introduces from scratch the bare-bones of the Gödel functional interpretation.
* Financially supported by FCT, I.P., under grant SFRH/BD/36358/2007 co-funded by POPH / QREN / FSE.
Room: 3.10, Mathematics
Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER namely by the FCT project PEst-OE/EEI/LA0008/2011.
More Information..