2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/62249We define the dualizations of objects and concepts which are essential for investigating the Ramsey property in the first levels of the projective hierarchy, prove a forcing equivalence theorem for dual Mathias forcing and dual Laver forcing, and show that the Harrington-Kechris techniques for proving the Ramsey property from determinacy work in the dualized case as well.Logic03E15; 03E40; 03E05; 05A18; 05D10; 03E60text