Skip to main content

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

Export to calendar

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.