Laver tables and Large Cardinals
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
Lógica
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).
The Máté-Sureson infinite model-theoretic characterization of NP vs coNP - 1
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches
Seminário de Lógica Matemática, por Victor Nascimento (University College London).
Cut elimination for a non-wellfounded system for the master modality
Seminário de Lógica Matemática, por Borja Sierra Miranda (University of Bern).