@misc{indiciae161f33bea8b5,
  title = {The strength of compactness in Computability Theory and Nonstandard Analysis},
  author = {Dag Normann and Sam Sanders},
  year = {2019},
  url = {https://arxiv.org/abs/1801.08172},
  note = {Source identifier: 1801.08172}
}