关于 Taylor 问题

我们描述有限图的若干(可数多个)类 K^{n,e},并证明若 $\lambda^{\aleph_0}= \lambda$,则任意势为 $\lambda^+$ 的 $\lambda^+$-色图对某些 n, e 包含 K^{n,e} 的所有成员作为子图。另一方面,对任一正则无穷基数 $\kappa$,存在一个在 $\kappa^+$ 上的 $\kappa^+$-色图,其有限子图仅来自 K^{n,e},这是一致的。