The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

First Page		Document Content
Date: 2009-12-14 08:47:04 Mathematical analysis Mathematics Analysis IP Characteristic function Uniform boundedness principle Operator theory Banach spaces Compact operator on Hilbert space Algebraic number field		The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH Add to Reading List Source URL: jg.sdf.org Download Document from Source Website File Size: 197,17 KB Share Document on Facebook

	Irish Math. Soc. Bulletin), 77–Recent Progress on the Daugavet Property DIRK WERNER DocID: 1ppqw - View Document
	The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH DocID: 1o9F8 - View Document
	PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i DocID: 1o5JD - View Document
	Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces∗ Dedicated to Georg Kreisel on the occasion of his 85th birthday U. Kohlenbach1 , L. Leu¸stean1,2 1 DocID: 1o1x6 - View Document
	The use of a logical principle of uniform boundedness in analysis Ulrich Kohlenbach Department of Mathematics University of Michigan Ann Arbor DocID: 1nF0D - View Document