Joint work with Jing Zhang.
Abstract. In a paper from 1997, Shelah asked whether $Pr_1(\lambda^+,\lambda^+,\lambda^+,\lambda)$ holds for every inaccessible cardinal $\lambda$. Here, we prove that an affirmative answer follows from $\square(\lambda^+)$. Furthermore, we establish that for every pair $\chi<\kappa$ of regular uncountable cardinals, $\square(\kappa)$ implies $Pr_1(\kappa,\kappa,\kappa,\chi)$.
Downloads:
Submitted to Annals of Pure and Applied Logic, February 2022.
Accepted, December 2022.