L.Soukup公司
平滑图形

摘要：$\omega _1$上的图$G$称为$<\！{\omega}$-{smooth}如果对于每个不可数的$W\子集\omega_1$，$G$同构于某些有限的$W'\子集W$的$G[W\setminus W']$。我们证明了在ZFC的各种模型中，如果图$G$是$<\！｛\omega｝$-光滑，则$G$必然是平凡的，即要么是完整的，要么是空的。另一方面，我们证明了非平凡$<\！的存在性！{\omega}$-sooth图也与ZFC一致。

关键词：图，同构子图，独立结果，Cohen，强制，迭代强制
AMS科目分类：03E35号

PDF格式