Effectiveness for infinite variable words and the dual Ramsey theorem

zbMath1059.03068MaRDI QIDQ701747

Joseph S. Miller, D. 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

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

Related Items (4)

Borel combinatorics fail in HYP ⋮ Carlson-Simpson's lemma and applications in reverse mathematics ⋮ A computable analysis of variable words theorems ⋮ Effectiveness for the dual Ramsey theorem

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