On Tao's “finitary” infinite pigeonhole principle

DOI10.2178/jsl/1264433926zbMath1188.03045arXiv1009.5684OpenAlexW3102229542MaRDI QIDQ5190206

Ulrich Kohlenbach, Jaime Gaspar

Publication date: 15 March 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.5684

zbMATH Keywords

CUBACAreverse mathematicsWKLsingletonsRamsey's Theorempigeonholecontinuous uniform boundedness principleFIPP

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (6)

A note on the finitization of Abelian and Tauberian theorems ⋮ The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem ⋮ A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory ⋮ Unnamed Item ⋮ Transfinite approximation of Hindman's theorem ⋮ On the computational content of the Bolzano-Weierstraß Principle

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• Bounded functional interpretation
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

This page was built for publication: On Tao's “finitary” infinite pigeonhole principle