致 Asperó 与 Schindler 定理的旁注
逻辑
2024-12-19 v3
摘要
我们给出了一个模型可通过恰当（proper）、半恰当（semiproper）及保平稳集（stationary-set-preserving）偏序集添加某无穷命题公式的博弈论刻画。对于后一种情形，我们还给出了此类偏序集存在的一般充分条件。我们利用该条件给出了 Asperó 与 Schindler 定理的一个略有不同证明，该定理断言 蕴含 Woodin 公理 。
引用
@article{arxiv.2308.08293,
title = {Marginalia to a Theorem of Asper\'o and Schindler},
author = {Obrad Kasum and Boban Veličković},
journal= {arXiv preprint arXiv:2308.08293},
year = {2024}
}