Carlson-Simpson's lemma and applications in reverse mathematics

DOI10.1016/J.APAL.2023.103287arXiv2207.12828OpenAlexW4376104052WikidataQ124936093 ScholiaQ124936093MaRDI QIDQ6109087

Ludovic Patey, Bastien Mignoty, Paul-Elliot Anglès d'Auriac, Lu Liu

Publication date: 26 July 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

reverse mathematicsvariable wordsbig Ramsey degreesCarlson-Simpson lemma

Mathematics Subject Classification ID

Generalized Ramsey theory (05C55) Foundations of classical theories (including reverse mathematics) (03B30)

Cites Work

• Unnamed Item
• A density version of the Carlson-Simpson theorem
• Effectiveness for infinite variable words and the dual Ramsey theorem
• Canonical partitions of universal structures
• A dual form of Ramsey's theorem
• Effectiveness for the dual Ramsey theorem
• Introduction to Ramsey Spaces (AM-174)
• Baire Sets of k-Parameter Words are Ramsey
• The Ramsey theory of the universal homogeneous triangle-free graph
• Brown’s lemma in second-order arithmetic

This page was built for publication: Carlson-Simpson's lemma and applications in reverse mathematics