On the Ramseyan Factorization Theorem
From MaRDI portal
Publication:5175905
DOI10.1007/978-3-319-08019-2_33zbMath1433.03017MaRDI QIDQ5175905
Shota Murakami, Keita Yokoyama, Takeshi Yamazaki
Publication date: 25 February 2015
Published in: Language, Life, Limits (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-08019-2_33
03D05: Automata and formal grammars in connection with logical questions
03B30: Foundations of classical theories (including reverse mathematics)
05D10: Ramsey theory
03F35: Second- and higher-order arithmetic and fragments
Related Items
Constructing sequences one step at a time, Unnamed Item, Reverse mathematical bounds for the termination theorem, The proof-theoretic strength of Ramsey's theorem for pairs and two colors, Partial Orders and Immunity in Reverse Mathematics