@misc{indiciae1c2ca823b5dc, title = {Set-theoretic reflection is equivalent to induction over well-founded classes}, author = {Anton Freund}, year = {2021}, doi = {10.1090/proc/15103}, url = {https://arxiv.org/abs/1909.00677}, note = {Source identifier: 1909.00677} }