Effectiveness for infinite variable words and the dual Ramsey theorem

MaRDI QIDQ701747zbMATH OpenFDO

Authors Joseph S. Miller, Reed Solomon

Publication date 16 December 2004

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

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)

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

Cited in

(6)

• 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
• An infinite self-dual Ramsey theorem

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)