31/03/2023 - Ludovic Patey, "Canonical notions of forcing in reverse mathematics"
Channel: LogicGroup
Date: 2023-03-31

Cross-Alps Logic Seminar recorded on the 31st of March 2023.