The consistency of ZFC + 2^ℵ₀ > ℵ_ω + ℐ(ℵ₂) = ℐ(ℵ_ω) (Q4382465)

This paper continues the program of determining the types of colorings of finite subgraphs of a complete graph with \(\kappa\) many edges (where \(\kappa\) is an uncountable cardinal), supposed that the edges of the graph are colored with countably many colors. More formally, an \(\omega\)-coloring is a pair \((f,B)\) where \(f:[B]^2\to \omega\). Then \(\text{field}(f)= B\). Then \(f\) is said to realize another \(\omega\)-coloring \(g\) iff there exists a one-to-one function \(k:\text{field}(g)\to\text{field}(f)\) such that for all \(x,y\in\text{dom}(g)\), \(f(k''x)\neq f(k''y)\) implies \(g(x)\neq g(y)\). The equivalence relation \(\simeq\) is defined by \(f\simeq g\) iff \(f\) realizes \(g\) and vice versa. The equivalence classes are called identities. The size of an identity is defined as the size of some (all) of its members. The authors consider only finite identities. For \(\kappa\) a cardinal and \(f:[\kappa]^2\to \omega\) let \({\mathcal J}(f)\) be the set of all finite identities realized by \(f\), and let \[ {\mathcal J}(\kappa)= \bigcap\{{\mathcal J}(f)\mid f:[\kappa]^2\to \omega\}. \] The main result is now that the theory \[ \text{ZFC}+ 2^{\aleph_0}> \aleph_\omega+ {\mathcal J}(\aleph_2)= {\mathcal J}(\aleph_\omega) \] is consistent, supposed that ZF is consistent. The proof is by adding more than \(\aleph_\omega\) random reals to a model of GCH.