Abstract: We examine a version of Ramsey's theorem based on Tao, Gaspar and Kohlenbach's finitary infinite pigeonhole principle.We will show that the finitary infinite Ramsey's theorem naturally gives rise to statements at the level of the infinite Ramsey's theorem, Friedman's infinite adjacent Ramsey theorem (well-foundedness of certain ordinals up to $\varepsilon_0$), $1$-consistency of theories up to PA and the finite Ramsey's theorem.
Publication Year: 2015
Publication Date: 2015-08-09
Language: en
Type: preprint
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot