Techniques for approching the dual Ramsey property in the projective hierarchy

Citation
L. Halbeisen et B. Lowe, Techniques for approching the dual Ramsey property in the projective hierarchy, PAC J MATH, 200(1), 2001, pp. 119-145
Citations number
32
Categorie Soggetti
Mathematics
Journal title
PACIFIC JOURNAL OF MATHEMATICS
ISSN journal
00308730 → ACNP
Volume
200
Issue
1
Year of publication
2001
Pages
119 - 145
Database
ISI
SICI code
0030-8730(200109)200:1<119:TFATDR>2.0.ZU;2-P
Abstract
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.