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}, }