@ELECTRONIC{BHK15a,
  author = {Brattka, Vasco and Hendtlass, Matthew and Kreuzer, Alexander P.},
  year = {2015},
  title = {On the Uniform Computational Content of the {B}aire Category Theorem},
  howpublished = {arXiv 1510.01913},
  url = {http://arxiv.org/abs/1510.01913},
  eprint = {1510.01913},
  file = {BHK15a.pdf:BHK15a.pdf:PDF},
  keywords = {team}
}

{"_id":"W3rheoG3ZEf8pGDrh","bibbaseid":"brattka-hendtlass-kreuzer-ontheuniformcomputationalcontentofthebairecategorytheorem-2015","authorIDs":[],"author_short":["Brattka, V.","Hendtlass, M.","Kreuzer, A. P."],"bibdata":{"bibtype":"electronic","type":"electronic","author":[{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Hendtlass"],"firstnames":["Matthew"],"suffixes":[]},{"propositions":[],"lastnames":["Kreuzer"],"firstnames":["Alexander","P."],"suffixes":[]}],"year":"2015","title":"On the Uniform Computational Content of the Baire Category Theorem","howpublished":"arXiv 1510.01913","url":"http://arxiv.org/abs/1510.01913","eprint":"1510.01913","file":"BHK15a.pdf:BHK15a.pdf:PDF","keywords":"team","bibtex":"@ELECTRONIC{BHK15a,\r\n author = {Brattka, Vasco and Hendtlass, Matthew and Kreuzer, Alexander P.},\r\n year = {2015},\r\n title = {On the Uniform Computational Content of the {B}aire Category Theorem},\r\n howpublished = {arXiv 1510.01913},\r\n url = {http://arxiv.org/abs/1510.01913},\r\n eprint = {1510.01913},\r\n file = {BHK15a.pdf:BHK15a.pdf:PDF},\r\n keywords = {team}\r\n}\r\n\r\n","author_short":["Brattka, V.","Hendtlass, M.","Kreuzer, A. P."],"key":"BHK15a","id":"BHK15a","bibbaseid":"brattka-hendtlass-kreuzer-ontheuniformcomputationalcontentofthebairecategorytheorem-2015","role":"author","urls":{"Paper":"http://arxiv.org/abs/1510.01913"},"keyword":["team"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"electronic","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:34.803Z","downloads":0,"keywords":["team"],"search_terms":["uniform","computational","content","baire","category","theorem","brattka","hendtlass","kreuzer"],"title":"On the Uniform Computational Content of the Baire Category Theorem","year":2015,"dataSources":["t7rKiAbxugj4Agz8M"]}