On the Uniform Computational Content of the Baire Category Theorem. Brattka, V., Hendtlass, M., & Kreuzer, A. P. 2015.
On the Uniform Computational Content of the Baire Category Theorem [link]Paper  bibtex   
@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}
}

Downloads: 0