Peter Dybjer: Inductive Definitions, Predicativity, and the Mahlo universe External Video-URL https://youtu.be/h3QS2Aekvsc Preview-Image