On Tao's ``finitary'' infinite pigeonhole principle. Gaspar, J. & Kohlenbach, U. J. Symbolic Logic, 75(1):355–371, 2010.
On Tao's ``finitary'' infinite pigeonhole principle [link]Paper  doi  bibtex   
@ARTICLE{GK10,
  author = {Gaspar, Jaime and Kohlenbach, Ulrich},
  title = {On {T}ao's ``finitary'' infinite pigeonhole principle},
  journal = {J. Symbolic Logic},
  year = {2010},
  volume = {75},
  pages = {355--371},
  number = {1},
  coden = {JSYLA6},
  doi = {10.2178/jsl/1264433926},
  fjournal = {Journal of Symbolic Logic},
  issn = {0022-4812},
  keywords = {bib,cca},
  mrclass = {03F35 (03B30)},
  mrnumber = {2605899 (2011i:03066)},
  mrreviewer = {Reinhard Kahle},
  owner = {Vasco},
  timestamp = {2013.12.03},
  url = {http://dx.doi.org/10.2178/jsl/1264433926}
}

Downloads: 0