@misc{indiciae34ecde57ad8f,
  title = {Solovay's completeness without fixed points},
  author = {Fedor Pakhomov},
  year = {2017},
  url = {https://arxiv.org/abs/1703.10262},
  note = {Source identifier: 1703.10262}
}