König = Ramsey，Ramsey 范畴的紧凑性引理
组合数学
2025-08-18 v1
摘要
我们证明了 Ramsey 性质的一种新表征，基于 König 树引理的广义形式。随后，我们讨论其在结构 Ramsey 理论中的应用。特别是，我们提供了最小 Ramsey 扩张存在唯一性的一种新证明，以及一种利用 Grothendieck 余纤射统一若干已知 Ramsey 迁移的新 transfer 定理。
引用
@article{arxiv.2508.11465,
title = {K\H{o}nig = Ramsey, A compactness lemma for Ramsey categories},
author = {Maximilian Hadek},
journal= {arXiv preprint arXiv:2508.11465},
year = {2025}
}
备注
26 pages