Recordings

The ESI regularly publishes recordings of talks and events to increase the reach of the institute's activities. Most of these recordings are published on the ESI YouTube channel.

ESI YouTube Channel

Recent Recordings

Preview of Harvey Friedman - Strict Reverse Mathematics - part I
Harvey Friedman (Ohio State U, Columbus): Strict Reverse Mathematics - part I
Aug. 20, 2025 15:00 — 16:00
Watch recording More information
Preview of Wei Wang - Finite Combinatorics and Fragments of Arithmetic
Wei Wang (SYSU, Guangzhou): Finite Combinatorics and Fragments of Arithmetic
Aug. 7, 2025 11:30 — 12:30
Watch recording More information
Preview of Heidi Benham - Problem Reducibility of a Weakened Version of Ginsburg–Sands Theorem
Heidi Benham (U of Connecticut): Problem Reducibility of a Weakened Version of Ginsburg–Sands Theorem
Aug. 7, 2025 10:00 — 11:00
Watch recording More information
Preview of Java Darleen Villano - Relativized computable categoricity
Java Darleen Villano (U of Connecticut): Relativized computable categoricity
Aug. 6, 2025 15:50 — 16:50
Watch recording More information
Preview of Andrew DeLapo - Finding Discrete Subspaces of Hausdorff CSC Spaces
Andrew DeLapo (U of Connecticut): Finding Discrete Subspaces of Hausdorff CSC Spaces
Aug. 6, 2025 14:30 — 15:30
Watch recording More information
Preview of Sam Sanders - The Big, Bigger, and Biggest Five of Reverse Mathematics Part II: metric spaces
Sam Sanders (Ruhr U, Bochum): The Big, Bigger, and Biggest Five of Reverse Mathematics Part II: metric spaces
Aug. 6, 2025 11:30 — 12:30
Watch recording More information
Preview of Sam Sanders - The Big, Bigger, and Biggest Five of Reverse Mathematics Part I: real analysis
Sam Sanders (Ruhr U, Bochum): The Big, Bigger, and Biggest Five of Reverse Mathematics Part I: real analysis
Aug. 6, 2025 10:00 — 11:00
Watch recording More information
Preview of Gavin Dooley - Iterated jump noncomputability and compactness
Gavin Dooley (Notre Dame du Lac): Iterated jump noncomputability and compactness
Aug. 5, 2025 15:50 — 16:50
Watch recording More information
Preview of Giorgio Genovesi - Another look at the relation between higher order arithmetic and set theory
Giorgio Genovesi (U Leeds): Another look at the relation between higher order arithmetic and set theory
Aug. 5, 2025 14:30 — 15:30
Watch recording More information
Preview of Leszek Kołodziejczyk - Scott ranks of models of fragments of PA
Leszek Kołodziejczyk (U Warsaw): Scott ranks of models of fragments of PA
Aug. 5, 2025 11:30 — 12:30
Watch recording More information
Preview of Paul Shafer - Revisiting the reverse mathematics of the Tietze extension theorem: preserving suprema
Paul Shafer (U Leeds): Revisiting the reverse mathematics of the Tietze extension theorem: preserving suprema
Aug. 5, 2025 10:00 — 11:00
Watch recording More information
Preview of Keita Yokoyama - First-order strength of Ramsey's theorem for pairs---from the perspective of proof size
Keita Yokoyama (Tohoku U): First-order strength of Ramsey's theorem for pairs---from the perspective of proof size
Aug. 4, 2025 15:50 — 16:50
Watch recording More information
Preview of Jeffry Hirst - Some conservation results for higher order reverse mathematics
Jeffry Hirst (App State): Some conservation results for higher order reverse mathematics
Aug. 4, 2025 14:30 — 15:30
Watch recording More information
Preview of Anton Freund - The strength of better-quasi-orderings, via ordinal analysis, Lecture 4
Anton Freund (U of Würzburg): The strength of better-quasi-orderings, via ordinal analysis, Lecture 4
Aug. 1, 2025 15:50 — 16:50
Watch recording More information
Preview of Anton Freund - The strength of better-quasi-orderings, via ordinal analysis, Lecture 3
Anton Freund (U of Würzburg): The strength of better-quasi-orderings, via ordinal analysis, Lecture 3
Aug. 1, 2025 14:30 — 15:30
Watch recording More information
Preview of Anton Freund - The strength of better-quasi-orderings, via ordinal analysis, Lecture 2
Anton Freund (U of Würzburg): The strength of better-quasi-orderings, via ordinal analysis, Lecture 2
July 31, 2025 15:50 — 16:50
Watch recording More information
Preview of Anton Freund - The strength of better-quasi-orderings, via ordinal analysis, Lecture 1
Anton Freund (U of Würzburg): The strength of better-quasi-orderings, via ordinal analysis, Lecture 1
July 31, 2025 14:30 — 15:30
Watch recording More information
Preview of Keita Yokoyama - Reverse mathematics for analysis: an introduction, Lecture 4
Keita Yokoyama (Tohoku U): Reverse mathematics for analysis: an introduction, Lecture 4
Aug. 1, 2025 11:30 — 12:30
Watch recording More information
Preview of Keita Yokoyama - Reverse mathematics for analysis: an introduction, Lecture 3
Keita Yokoyama (Tohoku U): Reverse mathematics for analysis: an introduction, Lecture 3
Aug. 1, 2025 10:00 — 11:00
Watch recording More information
Preview of Keita Yokoyama - Reverse mathematics for analysis: an introduction, Lecture 2
Keita Yokoyama (Tohoku U): Reverse mathematics for analysis: an introduction, Lecture 2
July 31, 2025 11:30 — 12:30
Watch recording More information