幂集下的强分割关系:一致性, Sierpinski 对吗, II?
逻辑
2024-01-30 v2
摘要
我们在此继续 [She88] 但不依赖它。动机来自 Galvin 的一个猜想:2^{omega} >= omega_2 + omega_2-> [omega_1]^{n}_{h(n)} 对某个合适的 h: omega-> omega 是一致的。在第 5 节我们反驳此猜想并给出类似否定结果。在第 3 节我们证明以 Erd\H{o}s 基数出发,将 omega_2 替换为 2^omega(其为相当大者)后该猜想的一致性。第 1 节给出当我们以更大 lambda 替换 omega 时所需的迭代引理,第 4 节推广了 Halpern 与 Lauchli 的一个定理,将 omega 替换为更大 lambda。
引用
@article{arxiv.math/9201244,
title = {Strong partition relations below the power set: consistency, was Sierpinski right, II?},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/9201244},
year = {2024}
}
备注
This is a slightly corrected version of an older paper