TY  - RPRT
TI  - Predicative collapsing principles
AU  - Anton Freund
PY  - 2020
DO  - 10.1017/jsl.2019.83
UR  - https://arxiv.org/abs/1906.07448
ID  - 1906.07448
ER  -