@article{GerKoh:06,
  title = {{G}eneral logical metatheorems for functional analysis},
  pages = {2615-2660},
  journal = {Trans. Amer. Math. Soc.},
  author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
  volume = 360,
  year = {2008},
}