$\omega_1$ 子集的长强链
逻辑
2026-04-20 v1
摘要
我们强制在 中构造一条长度为 的链，满足关于有限模的递增关系。该构造涉及由第二作者引入的两种类型模型的对称系统作为副条件。这一结果改进了 Koszmider 和 Veli\v{c}kovi\'{c}-Venturi 先前的工作。
关键词
引用
@article{arxiv.2604.15894,
title = {Long Strong Chains of Subsets of $\omega_1$},
author = {David Asperó and Curial Gallart},
journal= {arXiv preprint arXiv:2604.15894},
year = {2026}
}
备注
31 pages