@misc{indiciaeff9357cf96d9,
  title = {Measure theory and higher order arithmetic},
  author = {Alexander P. Kreuzer},
  year = {2015},
  url = {https://arxiv.org/abs/1312.1531},
  note = {Source identifier: 1312.1531}
}