Ramsey's theorem for pairs and provably recursive functions. Kreuzer, A. & Kohlenbach, U. Notre Dame Journal of Formal Logic, 50(4):427–444 (2010), 2009.
Ramsey's theorem for pairs and provably recursive functions [link]Paper  doi  bibtex   
@ARTICLE{KK09a,
  author = {Kreuzer, Alexander and Kohlenbach, Ulrich},
  title = {Ramsey's theorem for pairs and provably recursive functions},
  journal = {Notre Dame Journal of Formal Logic},
  year = {2009},
  volume = {50},
  pages = {427--444 (2010)},
  number = {4},
  doi = {10.1215/00294527-2009-019},
  file = {KK09a.pdf:KK09a.pdf:PDF},
  issn = {0029-4527},
  keywords = {bib,cca},
  mrclass = {03F35 (03F10 05D10)},
  mrnumber = {2598872 (2011h:03127)},
  mrreviewer = {Paulo Oliva},
  owner = {Vasco},
  timestamp = {2013.12.03},
  url = {http://dx.doi.org/10.1215/00294527-2009-019}
}

Downloads: 0