Laver tables and Large Cardinals (part II)
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
Lógica
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).
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).