Techniques for approaching the dual Ramsey property in the projective hierarchy

Lorenz Halbeisen and Benedikt Löwe

Vol. 200 (2001), No. 1, 119–145

DOI: 10.2140/pjm.2001.200.119

Abstract

We 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.

Milestones

Published: 1 September 2001