10/12/2021 - Jeff Hirst, "Reverse mathematics and Banach's theorem"
Channel: LogicGroup
Date: 2021-12-16

Cross-Alps Logic Seminar recorded on the 10th of December 2021.