Peter LeFanu Lumsdaine: Mahlo universes
Time: Wed 2022-12-14 10.00 - 12.00
Location: Albano house 1, floor 3, Room U (Kovalevsky)
Participating: Peter LeFanu Lumsdaine, Stockholm University
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.