TY  - RPRT
TI  - Set-theoretic reflection is equivalent to induction over well-founded classes
AU  - Anton Freund
PY  - 2021
DO  - 10.1090/proc/15103
UR  - https://arxiv.org/abs/1909.00677
ID  - 1909.00677
ER  -