@article{Fre20b,
  volume = {85},
  year = {2020},
  author = {Anton Freund},
  journal = {The Journal of Symbolic Logic},
  number = {1},
  title = {Predicative Collapsing Principles},
  pages = {511-530},
}