On the Uniform Computational Content of Ramsey's Theorem. Brattka, V. & Rakotoniaina, T. 2015.
On the Uniform Computational Content of Ramsey's Theorem [link]Paper  bibtex   
@ELECTRONIC{BR15,
  author = {Brattka, Vasco and Rakotoniaina, Tahina},
  year = {2015},
  title = {On the Uniform Computational Content of {R}amsey's Theorem},
  howpublished = {arXiv 1508.00471},
  url = {http://arxiv.org/abs/1508.00471},
  eprint = {1508.00471},
  keywords = {team}
}

Downloads: 0