Computable Model/Structure Theory and the Slaman-Wehner Theorem
Seminário de Lógica Matemática, por Duarte Maia (University of Chicago).
Lógica
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).
When statistics meets computability
Seminário de Lógica Matemática, por Eduardo Skapinakis (Universität Tübingen / NOVA FCT).
Laver tables and Large Cardinals (part II)
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
Laver tables and Large Cardinals
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
Elementary nonstandard axiomatic systems and standard real numbers
Seminário de Lógica Matemática, por Imme van den Berg (CIMA, University of Évora).