Strongest transformations

DOI10.1007/S00493-023-00011-0MaRDI QIDQ6081159zbMATH OpenOpenAlexFDO

Authors Assaf Rinot, Jing Zhang

Publication date 4 October 2023

Published in Combinatorica (Search for Journal in Brave)

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

zbMATH Keywords

proxy principlesquarestickstrong coloringstransformations of the transfinite planewalks on ordinalsxbox

Mathematics Subject Classification ID

Partition relations (03E02) Other combinatorial set theory (03E05) Consistency and independence results (03E35)

Abstract: We continue our study of maps transforming high-dimensional complicated objects into squares of stationary sets. Previously, we proved that many such transformations exist in ZFC, and here we address the consistency of the strongest conceivable transformations. Along the way, we obtain new results on Shelah's coloring principle $P{r}_1$. For $kappa$ inaccessible, we prove the consistency of $P{r}_1(kappa,kappa,kappa,kappa)$. For successors of regulars, we obtain a full lifting of Galvin's 1980 theorem. In contrast, the full lifting of Galvin's theorem to successors of singulars is shown to be inconsistent.

Review text

\textit{S. Shelah} [Ann. Pure Appl. Logic 84, No. 2, 153--174 (1997; Zbl 0871.03036)] introduced the coloring principle Pr\(_1(\kappa,\kappa,\theta,\chi)\) that captures simultaneously many strong coloring concepts. In a serious of papers he investigated its consistency.\par \textit{A. Rinot} and \textit{J. Zhang} [Forum Math. Sigma 9, Paper No. e16, 25 p. (2021; Zbl 1498.03099)] introduced the principle Pl\(_1(\kappa,\theta,\chi)\) asserting the existence of maps which transform high-dimensional complicated objects into squares of stationary sets. Previously they showed that many instances of Pl\(_1(\kappa,\theta,\chi)\) are theorems of ZFC. Here they study the strongest instances of Pl\(_1(\kappa,\theta,\chi)\). They obtain new results on Shelah's coloring principle Pr\(_1\). For \(\kappa\) inaccessible they prove the consistency of Pr\(_1(\kappa,\kappa,\kappa,\kappa)\). For successors of regular cardinals they obtain a full lifting of a theorem of Galvin and show that the full lifting of Galvin's theorem to successors of singular cardinals is inconsistent.

Recommendations

• Complicated colorings, revisited
• Getting more colors. II
• Was Ulam right? I: basic theory and subnormal ideals
• Transforming rectangles into squares, with applications to strong colorings
• On idealized versions of \(\mathrm{Pr}_1(\mu^+,\mu^+,\mu^+,\mathrm{cf}(\mu))\)

Cited in

(2)

• Complicated colorings, revisited
• Ramsey theory over partitions. II: Negative Ramsey relations and pump-up theorems

This page was built for publication: Strongest transformations

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