Techniques for approaching the dual Ramsey property in the projective hierarchy.

DOI10.2140/PJM.2001.200.119MaRDI QIDQ700582zbMATH OpenOpenAlexFDO

Authors Lorenz Halbeisen, Benedikt Löwe

Publication date 22 October 2002

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0109175

zbMATH Keywords

determinacyRamsey propertyprojective hierarchydual Laver forcingdual Mathias forcingdual Ramsey propertyforcing equivalence theorem

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Consistency and independence results (03E35)

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.

Recommendations

• Symmetries between two Ramsey properties
• A dual form of Ramsey's theorem
• Mathias absoluteness and the Ramsey property
• Effectiveness for infinite variable words and the dual Ramsey theorem
• scientific article; zbMATH DE number 3916250

Cited in

(3)

• Symmetries between two Ramsey properties
• On dual Ramsey theorems for relational structures
• Ultrafilter spaces on the semilattice of partitions

This page was built for publication: Techniques for approaching the dual Ramsey property in the projective hierarchy.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q700582)