A strong coloring on a cardinal $\kappa $ is a function $f:[\kappa ]^2\to \kappa $ such that for every $A\subseteq \kappa $ of full size $\kappa $, every color $\unicode{x3b3} <\kappa $ is attained by $f\restriction [A]^2$. The symbol $$ \begin{align*} \kappa\nrightarrow[\kappa]^2_{\kappa} \end{align*} $$ asserts the existence of a strong coloring on $\kappa $.We introduce the symbol $$ \begin{align*} \kappa\nrightarrow_p[\kappa]^2_{\kappa} \end{align*} $$ which asserts the existence of a coloring $f:[\kappa ]^2\to \kappa $ which is strong over a partition $p:[\kappa ]^2\to (...) \theta $. A coloring f is strong over p if for every $A\in [\kappa ]^{\kappa }$ there is $i<\theta $ so that for every color $\unicode{x3b3} <\kappa $ is attained by $f\restriction )$.We prove that whenever $\kappa \nrightarrow [\kappa ]^2_{\kappa }$ holds, also $\kappa \nrightarrow _p[\kappa ]^2_{\kappa }$ holds for an arbitrary finite partition p. Similarly, arbitrary finite p-s can be added to stronger symbols which hold in any model of ZFC. If $\kappa ^{\theta }=\kappa $, then $\kappa \nrightarrow _p[\kappa ]^2_{\kappa }$ and stronger symbols, like $\operatorname {Pr}_1_p$ or $\operatorname {Pr}_0_p$, also hold for an arbitrary partition p to $\theta $ parts.The symbols $$ \begin{gather*} \aleph_1\nrightarrow_p[\aleph_1]^2_{\aleph_1},\;\;\; \aleph_1\nrightarrow_p[\aleph_1\circledast \aleph_1]^2_{\aleph_1},\;\;\; \aleph_0\circledast\aleph_1\nrightarrow_p[1\circledast\aleph_1]^2_{\aleph_1}, \\ \operatorname{Pr}_1_p,\;\;\;\text{ and } \;\;\; \operatorname{Pr}_0_p \end{gather*} $$ hold for an arbitrary countable partition p under the Continuum Hypothesis and are independent over ZFC $+ \neg $ CH. (shrink)

Shelah develops the theory of \\) without the assumption that \\), going so far as to get generators for every \\) under some assumptions on I. Our main theorem is that we can also generalize Shelah’s trichotomy theorem to the same setting. Using this, we present a different proof of the existence of generators for \\) which is more in line with the modern exposition. Finally, we discuss some obstacles to further generalizing the classical theory.

We obtain an improvement of some coloring theorems from Eisworth (Fund Math 202:97–123, 2009; Ann Pure Appl Logic 161(10):1216–1243, 2010), Eisworth and Shelah (J Symb Logic 74(4):1287–1309, 2009) for the case where the singular cardinal in question has countable cofinality. As a corollary, we obtain an “idealized” version of the combinatorial principle Pr1(μ +, μ +, μ +, cf(μ)) that maximizes the indecomposability of the associated ideal.

The history of productivity of the κ-chain condition in partial orders, topological spaces, or Boolean algebras is surveyed, and its connection to the set-theoretic notion of a weakly compact cardinal is highlighted. Then, it is proved that for every regular cardinal κ > א1, the principle □ is equivalent to the existence of a certain strong coloring c : [κ]2 → κ for which the family of fibers T is a nonspecial κ-Aronszajn tree. The theorem follows from an analysis of (...) a new characteristic function for walks on ordinals, and implies in particular that if the κ-chain condition is productive for a given regular cardinal κ > א1, then κ is weakly compact in some inner model of ZFC. This provides a partial converse to the fact that if κ is a weakly compact cardinal, then the κ-chain condition is productive. (shrink)

In this paper, we investigate the extent to which techniques used in [10], [2], and [3]—developed to prove coloring theorems at successors of singular cardinals of uncountable cofinality—can be extended to cover the countable cofinality case.

We establish a coloring theorem for successors of singular cardinals, and use it prove that for any such cardinal $\mu$, we have $\mu^+\nrightarrow[\mu^+]^2_{\mu^+}$ if and only if $\mu^+\nrightarrow[\mu^+]^2_{\theta}$ for arbitrarily large $\theta < \mu$.

We formulate and prove (in ZFC) a strong coloring theorem which holds at successors of singular cardinals, and use it to answer several questions concerning Shelah's principle $Pr_1(\mu^+,\mu^+,\mu^+,cf(\mu))$ for singular $\mu$.

We prove that if ${\mu ^ + } \to \left[ {{\mu ^ + }} \right]_\mu ^2 + $ holds for a singular cardinal μ, then any collection of fewer than cf(μ) stationary subsets of μ⁺ must reflect simultaneously.