Effectiveness for infinite variable words and the dual Ramsey theorem

zbMATH Open1059.03068MaRDI QIDQ701747FDOQ701747

Authors: Joseph S. Miller, Reed Solomon 

Publication date: 16 December 2004

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Recommendations

• A computable analysis of variable words theorems
• Effectiveness for the dual Ramsey theorem
• Reverse mathematics and Ramsey's property for trees
• scientific article; zbMATH DE number 7377981
• A dual form of Ramsey's theorem

zbMATH Keywords

reverse mathematicssecond-order arithmeticvariable wordsdual Ramsey

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Second- and higher-order arithmetic and fragments (03F35)

Cited In (5)

• Techniques for approaching the dual Ramsey property in the projective hierarchy.
• Effectiveness for the dual Ramsey theorem
• A computable analysis of variable words theorems
• Borel combinatorics fail in HYP
• Carlson-Simpson's lemma and applications in reverse mathematics

This page was built for publication: Effectiveness for infinite variable words and the dual Ramsey theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q701747)