@misc{indiciae721e3aea001c,
  title = {Logic Blog 2018},
  author = {Andre Nies},
  year = {2019},
  url = {https://arxiv.org/abs/1902.08725},
  note = {Source identifier: 1902.08725}
}