@misc{indiciae4fcca5d95e5a,
  title = {Equivalents of disjunctive Markov's principle},
  author = {Matthew Hendtlass},
  year = {2016},
  url = {https://arxiv.org/abs/1611.02543},
  note = {Source identifier: 1611.02543}
}