@misc{indiciae212b3e348019,
  title = {On the logical strengths of partial solutions to mathematical problems},
  author = {Laurent Bienvenu and Ludovic Patey and Paul Shafer},
  year = {2016},
  doi = {10.1112/tlm3.12001},
  url = {https://arxiv.org/abs/1411.5874},
  note = {Source identifier: 1411.5874}
}