On the Uniform Computational Content of Ramsey's Theorem. Brattka, V. & Rakotoniaina, T. Journal of Symbolic Logic, 82(4):1278–1316, 2017. ![On the Uniform Computational Content of Ramsey's Theorem [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @ARTICLE{BR17,
author = {Brattka, Vasco and Rakotoniaina, Tahina},
title = {On the Uniform Computational Content of {R}amsey's Theorem},
journal = {Journal of Symbolic Logic},
year = {2017},
volume = {82},
pages = {1278--1316},
number = {4},
doi = {10.1017/jsl.2017.43},
file = {BR17.pdf:BR17.pdf:PDF},
issn = {0022-4812},
keywords = {bib, cca, wei, team},
url = {http://dx.doi.org/10.1017/jsl.2017.43}
}
Downloads: 0
{"_id":"5goPDTgLWw9miMkAa","bibbaseid":"brattka-rakotoniaina-ontheuniformcomputationalcontentoframseystheorem-2017","authorIDs":["5d78fd3ff08401db01000439"],"author_short":["Brattka, V.","Rakotoniaina, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Rakotoniaina"],"firstnames":["Tahina"],"suffixes":[]}],"title":"On the Uniform Computational Content of Ramsey's Theorem","journal":"Journal of Symbolic Logic","year":"2017","volume":"82","pages":"1278–1316","number":"4","doi":"10.1017/jsl.2017.43","file":"BR17.pdf:BR17.pdf:PDF","issn":"0022-4812","keywords":"bib, cca, wei, team","url":"http://dx.doi.org/10.1017/jsl.2017.43","bibtex":"@ARTICLE{BR17,\r\n author = {Brattka, Vasco and Rakotoniaina, Tahina},\r\n title = {On the Uniform Computational Content of {R}amsey's Theorem},\r\n journal = {Journal of Symbolic Logic},\r\n year = {2017},\r\n volume = {82},\r\n pages = {1278--1316},\r\n number = {4},\r\n doi = {10.1017/jsl.2017.43},\r\n file = {BR17.pdf:BR17.pdf:PDF},\r\n issn = {0022-4812},\r\n keywords = {bib, cca, wei, team},\r\n url = {http://dx.doi.org/10.1017/jsl.2017.43}\r\n}\r\n\r\n","author_short":["Brattka, V.","Rakotoniaina, T."],"key":"BR17","id":"BR17","bibbaseid":"brattka-rakotoniaina-ontheuniformcomputationalcontentoframseystheorem-2017","role":"author","urls":{"Paper":"http://dx.doi.org/10.1017/jsl.2017.43"},"keyword":["bib","cca","wei","team"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.436Z","downloads":0,"keywords":["bib","cca","wei","team"],"search_terms":["uniform","computational","content","ramsey","theorem","brattka","rakotoniaina"],"title":"On the Uniform Computational Content of Ramsey's Theorem","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}