Assume . Let denote the relation of being in bijection. Let and be a sequence of equivalence relations on with all classes countable and for all $\alpha < \kappa / E_\alpha \approx \bigsqcup_{\alpha < \kappa} / E_\alpha \times \kappa\bigsqcup_{\alpha < \kappa} / E_\alpha$ has the J'onsson property. Assume . A set $X \subseteq [\omega_1]^{<\omega_1}\langle E_\alpha : \alpha < \omega_1\rangle / E_\alpha \approx X \approx \bigsqcup_{\alpha < \omega_1} / E_\alpha \sqcup \omega_1X$. Assume . Suppose $R \subseteq [\omega_1]^\omega \times f \in [\omega_1]^\omegaR_f = {x \in : R(f,x)}$ is nonempty and countable. Then there is an uncountable and function $\Phi : [X]^\omega \rightarrow R[X]^\omegaf \in [X]^\omegaR(f,\Phi(f))$. Under , if is an ordinal and $\langle E_\alpha : \alpha < \kappa\rangle$ with all classes countable, then does not inject into .

生成讲解博客的中文版本

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