TY  - RPRT
TI  - A Higher Bachmann-Howard Principle
AU  - Anton Freund
PY  - 2018
UR  - https://arxiv.org/abs/1704.01662
ID  - 1704.01662
ER  -