Proper forcing and rectangular Ramsey theorems

Jindrich Zapletal
DOI: https://doi.org/10.48550/arXiv.math/0311135
2003-11-10
Abstract:I prove forcing preservation theorems for products of definable partial orders preserving the cofinality of the meager or null ideal. Rectangular Ramsey theorems for related ideals follow from the proofs.
Logic,Combinatorics
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore how the properties of certain types of mathematical structures (such as σ - ideals) can be preserved through appropriate forcing techniques under specific conditions, and how these techniques are related to the rectangular Ramsey theorems. Specifically: 1. **Forcing Preservation Theorem**: The author proves that for some definable partial orders, they preserve the cofinality of certain ideals in the extended model. For example, the author focuses on those partial orders that preserve the cofinality in the meager ideal or the null ideal. 2. **Rectangular Ramsey Theorem**: From the proof of the above - mentioned forcing preservation theorem, relevant rectangular Ramsey theorems can be derived. Such theorems usually describe that when partitioning the plane or other high - dimensional spaces, there exist monochromatic rectangles with specific properties. 3. **Connecting Different Fields**: The author's work not only links the rectangular Ramsey theory with the forcing theory, but also explores the relationships between these theories and determinacy. This provides a new perspective for research and may lead to further research questions. ### Specific Problems - **MRR(⃗I)**: This refers to that in a certain product space \( R^X \), all Borel subsets that do not contain a "block" form a σ - ideal. Here, a "block" is a subset of the form \( \prod_{x \in X} B_x \), where each \( B_x \) is a Borel set that is positive with respect to the corresponding ideal. - **Φ(P) and Ψ(P)**: These two properties respectively describe the behavior of the partial order \( P \) in the extended model. Specifically: - Φ(P) means that \( P \) is proper and all Borel meager sets in the extension can be covered by sets in the ground model. - Ψ(P) is similar to Φ(P), but is for Lebesgue null sets. ### Main Conclusions - **Theorem 1.5**: If \( \vec{I} \) is a sequence of definable σ - ideals and the factor partial order \( P_I \) of each ideal satisfies Φ(P), then \( P_{\vec{I}} \) also satisfies Φ(P) and MRR(⃗I) holds. - **Theorem 1.7**: If the factor partial order \( P_I \) of each ideal satisfies Ψ(P), then \( P_{\vec{I}} \) also satisfies Ψ(P) and MRR(⃗I) holds. These results not only deepen our understanding of the forcing theory and the Ramsey theory, but also reveal the potential connections between them, providing a basis for further research. ### Examples and Applications The paper gives several specific examples to illustrate the applications of these theories, including Sacks forcing, Miller forcing, etc. These examples show how to apply the above - mentioned theorems in different mathematical structures and verify their validity. ### Conclusion In general, this paper expands our understanding of mathematical structures and their properties by introducing new forcing preservation theorems and rectangular Ramsey theorems, and provides new directions and tools for future research.