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 ${\hat{I}}_2^1$-logic is induction on dilators. In particular, Girard used this principle to construct his famous functor $\hat{I}›$. He c…