@article{Kreu:12d,
  year = 2012,
  volume = 1,
  author = {Kreuzer, Alexander P.},
  journal = {Computability},
  title = {On the strength of weak compactness.},
  pages = {171--179},
}