Techniques for approaching the dual Ramsey property in the projective hierarchy. (Q700582): Difference between revisions

The Ramsey property concerns infinite sets of integers, while the dual Ramsey property, which was introduced by Carlson and Simpson, concerns infinite partitions of the natural numbers [\textit{T. J. Carlson} and \textit{S. G. Simpson}, Adv. Math. 53, 265--290 (1984; Zbl 0564.05005)]. In this paper the authors pursue similarities between the Ramsey property and the dual Ramsey property vis-â-vis sets in the first levels of the projective hierarchy. Dualizations of objects and concepts are the authors' initial focus. They prove a forcing equivalence theorem for dual Mathias forcing and dual Laver forcing. They also show that the Harrington-Kechris techniques for proving the Ramsey property from determinacy work for the dual Ramsey property too.