On Tao's "finitary" infinite pigeonhole principle

In 2007, Terence Tao wrote on his blog an essay about soft analysis, hard analysis and the finitization of soft analysis statements into hard analysis statements. One of his main examples was a quasi-finitization of the infinite pigeonhole principle IPP, arriving at the "finitary" infinite pigeonhole principle

• Type: Journal
• Year: 2010
• Where: JSYML
• Authors: Jaime Gaspar, Ulrich Kohlenbach
• Keywords: Hard Analysis, JSYML 2010, Pigeonhole Principle, Soft Analysis