Mathematical logic Courses
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Order-preserving Martin's Conjecture and Inner Model Theory
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube Separating Levels of Dependent Choice on Reals from Levels of Projective Determinacy - ESI Workshop
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube The Philosophical Significance of Gödel's Dialectica Translation
Schmid College, Chapman University via YouTube O que é o Princípio da Casa dos Pombos?
Instituto de Matemática Pura e Aplicada via YouTube Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 01
Instituto de Matemática Pura e Aplicada via YouTube An Introduction to Differential Linear Logic
Centre International de Rencontres Mathématiques via YouTube Weighted Relational Models
Centre International de Rencontres Mathématiques via YouTube Böhm Trees and Taylor Expansion
Centre International de Rencontres Mathématiques via YouTube Amenability and Hyperfiniteness for Group Actions on Trees
Centre International de Rencontres Mathématiques via YouTube