大基数下的 Halpern-Läuchli 定理尾锥版本
逻辑
2019-04-10 v2
摘要
经典的 Halpern-Läuchli 定理指出，对于高度为 的有限分支完美树的有限乘积的任意有限着色，存在共享同一层集的强子树，使得位于同一层上的元素组成的元组获得相同颜色。相对于大基数，我们建立了大基数处 Halpern-Läuchli 定理尾锥版本的一致性，粗略地说，该版本同时且对角地处理多种着色。在其他应用中，我们将 Laver 和 Galvin 关于有理数的极化划分关系推广到具有更大饱和度的线性序上的相应关系。
引用
@article{arxiv.1704.06827,
title = {A tail cone version of the Halpern-L\"auchli theorem at a large cardinal},
author = {Jing Zhang},
journal= {arXiv preprint arXiv:1704.06827},
year = {2019}
}
备注
Updated version