arXiv Analytics

Sign in

arXiv:math/0109175 [math.LO]AbstractReferencesReviewsResources

Techniques for approaching the dual Ramsey property in the projective hierarchy

Lorenz Halbeisen, Benedikt Loewe

Published 2001-09-23Version 1

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.

Journal: Pacific Journal of Mathematics 200(1) (2001) 119-145
Categories: math.LO
Subjects: 03E15, 03E40, 03E05, 05A18, 05D10, 03E60
Related articles:
arXiv:1712.00769 [math.LO] (Published 2017-12-03)
Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
arXiv:1203.6299 [math.LO] (Published 2012-03-28, updated 2012-09-13)
Interpreting the projective hierarchy in expansions of the real line
arXiv:2302.02248 [math.LO] (Published 2023-02-04)
Determinacy and Large Cardinals

Links

Toolbox