Iterating reflection over Heyting Arithmetic
Mathematical Logic Webinar, por Emanuele Frittaion (University of Leeds).
Mathematical Logic Webinar, por Emanuele Frittaion (University of Leeds).
Sessão adiada, por motivos de força maior.
Mathematical Logic Webinar, por Pedro Pinto (Technische Universität Darmstadt).
Mathematical Logic Seminar, por Bruno Loff (Universidade do Porto).
Mathematical Logic Seminar, por Fernando Ferreira (Universidade de Lisboa).
Lisbon Webinar in Analysis and Differential Equations, por Jonathan Bennett (University of Birmingham).
Lisbon Webinar in Analysis and Differential Equations, por Jörg Wolf (Department of Mathematics, Chung-Ang University, Seoul).
Seminário de Análise e Equações Diferenciais, por Hermano Frid (IMPA, Rio de Janeiro).
Seminário de Análise e Equações Diferenciais, por Daniel Marroquin (UFRJ, Rio de Janeiro).
Lisbon Webinar in Analysis and Differential Equations, por Sergei Kuksin (Univ. Paris VII).