A strong coloring on a cardinal is a function $f:[\kappa]^2\to \kappaA\subseteq \kappa\kappa$, every color is attained by . The symbol asserts the existence of a strong coloring on . We introduce the symbol which asserts the existence of a coloring which is strong over a partition . A coloring is strong over if for every there is so that every color is attained by . We prove that whenever holds, also holds for an arbitrary finite partition . Similarly, arbitrary finite -s can be added to stronger symbols which hold in any model of ZFC. If , then and stronger symbols, like or , hold also for an arbitrary partition to parts.

生成讲解博客的中文版本

生成AI智能校验的中文版本