Strongest transformations (Q6081159)

\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.