Techniques for approaching the dual Ramsey property in the projective hierarchy
Logic
2007-05-23 v1
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.
Cite
@article{arxiv.math/0109175,
title = {Techniques for approaching the dual Ramsey property in the projective hierarchy},
author = {Lorenz Halbeisen and Benedikt Loewe},
journal= {arXiv preprint arXiv:math/0109175},
year = {2007}
}