Computable Reductions and Reverse Mathematics

Reed Solomon. Computable Reductions and Reverse Mathematics. In Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska, editors, Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. Volume 9709 of Lecture Notes in Computer Science, pages 182-191, Springer, 2016. [doi]

@inproceedings{Solomon16-0,
  title = {Computable Reductions and Reverse Mathematics},
  author = {Reed Solomon},
  year = {2016},
  doi = {10.1007/978-3-319-40189-8_19},
  url = {http://dx.doi.org/10.1007/978-3-319-40189-8_19},
  researchr = {https://researchr.org/publication/Solomon16-0},
  cites = {0},
  citedby = {0},
  pages = {182-191},
  booktitle = {Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings},
  editor = {Arnold Beckmann and Laurent Bienvenu and Natasa Jonoska},
  volume = {9709},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-40188-1},
}