Peter LeFanu Lumsdaine: Mahlo universes
Tid: On 2022-12-14 kl 10.00 - 12.00
Plats: Albano house 1, floor 3, Room U (Kovalevsky)
Medverkande: Peter LeFanu Lumsdaine, Stockholm University
Abstract
This will be a continuation from my seminar last-week-but-one, on large cardinals as seen from type theory — in particular, surveying results of Setzer, Dybjer, Palmgren, and others, and comparing different characterisations of Mahlo cardinals/universes.