Induction on Dilators and Bachmann-Howard Fixed Points

Juan P. Aguilera, Anton Freund, Andreas Weiermann

One of the most important principles of J.-Y. Girard's ${\Pi }_2^1$-logic is induction on dilators. In particular, Girard used this principle to construct his famous functor $\Lambda$. He cla…