16/06/2023 - André Nies, "Computably totally disconnected, locally compact groups"
Channel: LogicGroup
Date: 2023-06-19

Cross-Alps Logic Seminar recorded on the 16th of June 2023.