Mathematical logic Courses
NCCR SwissMAP via YouTube Longer Prikry Sequences
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Almost Disjoint Families in Natural Models of AD+ - Workshop on Determinacy, Inner Models and Forcing Axioms
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Ladder Mice in Set Theory
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Martin's Maximum c*,++ in Pmax Extensions of Strong Models of Determinacy
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube The HOD Conjecture and Its Failure
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Unreachability in the Second Projective-Like Hierarchy
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Forcing and Consistency Properties in Set Theory
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Chang's Conjecture and Mouse Reflection
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Stationary Reflection for אω1 +1
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube