Presheaf model theory
Seminário de Lógica Matemática, por Charles Morgan (UFBA).
Lógica
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).
Session-typed Staged Metaprogramming
Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).
Kunen's inconsistency and immediately below
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
A new proof of Herbrand’s Theorem and the proof assistant Lean
Seminário de Lógica Matemática, por Lia Malato (Universidade de Lisboa).
On the Halpern method with adaptive anchoring parameters
Seminário de Lógica Matemática, por Pedro Pinto (Technische Universität Darmstadt).
The Máté-Sureson infinite model-theoretic characterization of NP vs coNP - 2
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).