游戏化 Katětov 序在过滤器上的线性性（事实上，非常不如此）
逻辑
2026-05-21 v1 范畴论
摘要
最近，作者们在 上的过滤器上引入了游戏化 Kat\v{e}tov 序，证明其严格保守于经典 Kat\v{e}tov 序，实际上将所有 MAD 家族塌缩为单个等价类。相反，本文表明游戏化 Kat\v{e}tov 序也嵌入 ，从而包含大小为 continuum 的反链。分析过程凸显了与 Ramsey 理论的某些有趣联系。作为更广泛研究组合与可计算复杂度相互作用的计划的一部分，我们随后将该构造用于生成大规模新的非温和度（non-modest degrees），这些度来自相关的有效次拓扑。
引用
@article{arxiv.2605.21473,
title = {The Gamified Kat\v{e}tov order is not linear (in fact, very much not so)},
author = {Takayuki Kihara and Ming Ng},
journal= {arXiv preprint arXiv:2605.21473},
year = {2026}
}
备注
28 pages, 1 figure