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.
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
{"_id":"hMwqThTRgj7Noi8G6","bibbaseid":"kreuzer-kohlenbach-ramseystheoremforpairsandprovablyrecursivefunctions-2009","authorIDs":[],"author_short":["Kreuzer, A.","Kohlenbach, U."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kreuzer"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Kohlenbach"],"firstnames":["Ulrich"],"suffixes":[]}],"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","bibtex":"@ARTICLE{KK09a,\r\n author = {Kreuzer, Alexander and Kohlenbach, Ulrich},\r\n title = {Ramsey's theorem for pairs and provably recursive functions},\r\n journal = {Notre Dame Journal of Formal Logic},\r\n year = {2009},\r\n volume = {50},\r\n pages = {427--444 (2010)},\r\n number = {4},\r\n doi = {10.1215/00294527-2009-019},\r\n file = {KK09a.pdf:KK09a.pdf:PDF},\r\n issn = {0029-4527},\r\n keywords = {bib,cca},\r\n mrclass = {03F35 (03F10 05D10)},\r\n mrnumber = {2598872 (2011h:03127)},\r\n mrreviewer = {Paulo Oliva},\r\n owner = {Vasco},\r\n timestamp = {2013.12.03},\r\n url = {http://dx.doi.org/10.1215/00294527-2009-019}\r\n}\r\n\r\n","author_short":["Kreuzer, A.","Kohlenbach, U."],"key":"KK09a","id":"KK09a","bibbaseid":"kreuzer-kohlenbach-ramseystheoremforpairsandprovablyrecursivefunctions-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1215/00294527-2009-019"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.795Z","downloads":0,"keywords":["bib","cca"],"search_terms":["ramsey","theorem","pairs","provably","recursive","functions","kreuzer","kohlenbach"],"title":"Ramsey's theorem for pairs and provably recursive functions","year":2009,"dataSources":["t7rKiAbxugj4Agz8M"]}