On Tao s finitary infinite pigeonhole principle

Jaime Gaspar, Ulrich Kohlenbach. On Tao s finitary infinite pigeonhole principle. Journal of Symbolic Logic, 75(1):355-371, 2010. [doi]

@article{GasparK10,
  title = {On Tao s  finitary  infinite pigeonhole principle},
  author = {Jaime Gaspar and Ulrich Kohlenbach},
  year = {2010},
  url = {http://projecteuclid.org/euclid.jsl/1264433926},
  researchr = {https://researchr.org/publication/GasparK10},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {75},
  number = {1},
  pages = {355-371},
}