@article{Fre20c,
  author = {Anton Freund},
  pages = {709-732},
  title = {How strong are single fixed points of normal functions?},
  year = {2020},
  volume = {85},
  number = {2},
  journal = {The Journal of Symbolic Logic},
}