@article{Koh:03,
  title = {{S}ome {L}ogical {M}etatheorems with {A}pplications in {F}unctional
           {A}nalysis},
  pages = {89--128},
  journal = {Trans. Amer. Math. Soc.},
  author = {Kohlenbach, Ulrich},
  year = 2005,
  volume = 357,
}