@misc{indiciae76ea675a14b7,
  title = {Well ordering principles and \$Π\textasciicircum{}1\_4\$-statements: a pilot study},
  author = {Anton Freund},
  year = {2020},
  url = {https://arxiv.org/abs/2006.12111},
  note = {Source identifier: 2006.12111}
}