Techniques for approaching the dual Ramsey property in the projective hierarchy. (Q700582)

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.