{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q701747","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q701747","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q701747","kernelVersion":"v1","immutable":true,"modified":"2026-01-04T14:11:48Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q701747","name":"Effectiveness for infinite variable words and the dual Ramsey theorem","headline":"Effectiveness for infinite variable words and the dual Ramsey theorem","description":"scientific article; zbMATH DE number 2123165","url":"https://portal.mardi4nfdi.de/entity/Q701747","datePublished":"2004-12-16","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q375817"},{"@id":"https://portal.mardi4nfdi.de/entity/Q218974"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q114337"}],"comment":"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)]."},"provenance":{"prov:generatedAtTime":"2026-01-04T14:11:48Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}