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).
Lógica
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).
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).