Mário Jorge Edmundo CMAF, UL, e UA Cohomologia na Lógica 16 de Maio 2007 quarta-feira 14h Sala 5.4 Nesta comunicação apresentaremos a construção de uma teoria de cohomologia de feixes no contexto da lógica matemática. Esta teoria é uma generalização de teorias correspondentes em geometria semi-algébrica e sub-analítica.