On the Ramseyan Factorization Theorem

DOI10.1007/978-3-319-08019-2_33zbMath1433.03017OpenAlexW1580230041MaRDI 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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Second- and higher-order arithmetic and fragments (03F35)

Related Items (5)

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 ⋮ Unnamed Item ⋮ Constructing sequences one step at a time

This page was built for publication: On the Ramseyan Factorization Theorem