We prove that consistently every bipartite graph of size κ+×κ+κ+×κ+ contains either a clique or an independent subset of size τ×ττ×τ for every τ∈κ+τ∈κ+, where κκ is a successor cardinal.
生成讲解博客的中文版本
生成AI智能校验的中文版本