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

DOI10.2140/PJM.2001.200.119zbMATH Open1049.03035arXivmath/0109175OpenAlexW2150390821MaRDI QIDQ700582FDOQ700582

Authors: Lorenz Halbeisen, Benedikt Löwe 

Publication date: 22 October 2002

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

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.

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

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

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)

Cited In (2)

• 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)