Effectiveness for infinite variable words and the dual Ramsey theorem (Q701747)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effectiveness for infinite variable words and the dual Ramsey theorem |
scientific article |
Statements
Effectiveness for infinite variable words and the dual Ramsey theorem (English)
0 references
16 December 2004
0 references
The authors apply techniques of reverse mathematics to the dual Ramsey theorem, providing partial answers to questions posed by \textit{H. Friedman} and \textit{S. G. Simpson} [Contemp. Math. 257, 127--144 (2000; Zbl 0967.03050)]. In particular, they show that the open dual Ramsey theorem implies ACA\(_0\). They also analyze combinatorial statements about variable words and ordered variable words which are related to central lemmas in \textit{T. J. Carlson} and \textit{S. G. Simpson}'s proof of the dual Ramsey theorem [Adv. Math. 53, 265--290 (1984; Zbl 0564.05005)].
0 references
dual Ramsey
0 references
variable words
0 references
reverse mathematics
0 references
second-order arithmetic
0 references