TY  - RPRT
TI  - Induction on Dilators and Bachmann-Howard Fixed Points
AU  - Juan P. Aguilera
AU  - Anton Freund
AU  - Andreas Weiermann
PY  - 2024
UR  - https://arxiv.org/abs/2412.13051
ID  - 2412.13051
ER  -