TY  - RPRT
TI  - Well ordering principles and $Π^1_4$-statements: a pilot study
AU  - Anton Freund
PY  - 2020
UR  - https://arxiv.org/abs/2006.12111
ID  - 2006.12111
ER  -