@misc{indiciae32f5f2def6d4,
  title = {\$Π\textasciicircum{}1\_1\$-Comprehension as a Well-Ordering Principle},
  author = {Anton Freund},
  year = {2019},
  doi = {10.1016/j.aim.2019.106767},
  url = {https://arxiv.org/abs/1809.06759},
  note = {Source identifier: 1809.06759}
}