@article{Fre20e,
  journal = {Proceedings of the American Mathematical Society},
  year = {2020},
  volume = {148},
  pages = {4503-4515},
  title = {Set-theoretic reflection is equivalent to induction over well-founded
           classes},
  author = {Anton Freund},
}