Functional Interpretations and Proof Mining
Seminário de Lógica Matemática, por Paulo Firmino (Faculdade de Ciências da Universidade de Lisboa).
Lógica
Conic o-minimal sheaves, Part III - Characterizations of conic o-minimal sheaves
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Conic o-minimal sheaves, Part II - Sheaves on the conic o-minimal spectrum
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Conic o-minimal sheaves, Part I - Properties of conic definable sets
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Computable Model/Structure Theory and the Slaman-Wehner Theorem
Seminário de Lógica Matemática, por Duarte Maia (University of Chicago).
Uniform validity of atomic Kreisel-Putnam rule in monotonic proof-theoretic semantics
Seminário de Lógica Matemática, por Antonio Piccolomini D'Aragona (University of Tübingen/University of Siena).
Separability in Classical Natural Deduction
Seminário de Lógica Matemática, por Joaquim Waddington (UERJ/UCL).
Definable Semigroups in o-Minimal Structures
Seminário de Lógica Matemática, por Eduardo Magalhães (Universidade do Porto).
Relativized Wave Function
Seminário de Lógica Matemática, por Paulo Santos (ISCAL - CEMS.UL).
Presheaf model theory
Seminário de Lógica Matemática, por Charles Morgan (UFBA).