On the logical strengths of partial solutions to mathematical problems. Bienvenu, L., Patey, L., & Shafer, P. Transactions of the London Mathematical Society, 4(1):30–71, 2017.
On the logical strengths of partial solutions to mathematical problems [link]Paper  doi  bibtex   
@ARTICLE{BPS17,
  author = {Bienvenu, Laurent and Patey, Ludovic and Shafer, Paul},
  title = {On the logical strengths of partial solutions to mathematical problems},
  journal = {Transactions of the London Mathematical Society},
  year = {2017},
  volume = {4},
  pages = {30--71},
  number = {1},
  doi = {10.1112/tlm3.12001},
  file = {BPS17.pdf:BPS17.pdf:PDF},
  issn = {2052-4986},
  url = {http://dx.doi.org/10.1112/tlm3.12001}
}

Downloads: 0