We define the dualizations of objects and concepts which are essential for
investigating the Ramsey property in the first levels of the projective hie
rarchy, prove a forcing equivalence theorem for dual Mathias forcing and du
al Laver forcing, and show that the Harrington-Kechris techniques for provi
ng the Ramsey property from determinacy work in the dualized case as well.