力迫公理、SRP 与 OCA 导论

本笔记整理自 Matteo Viale 教授于 2011-2012 学年在都灵大学讲授的关于力迫公理及其应用的课程。本文旨在简要介绍力迫公理，并特别关注其某些推论（SRP、OCA、PID）。这些原则最初由 Todor\v{c}evi\'c 分离出来，它们插值了 MM 和 PFA 的大多数推论，从而为力迫公理理论的组合结构提供了有用的见解。在笔记的第一部分，我们将简要介绍力迫公理，通过广义平稳性引入一些等价定义，并以泛型绝对性的形式展示其推论。在第二部分，我们将陈述强反射原理（SRP），在 MM 下证明它，并考察其主要推论。该公理是根据广义平稳集的反射性质定义的。在第三部分，我们将陈述开集染色公理（OCA），并提供其某些版本的一致性证明。该公理可视为一种二维完备集性质，即描述集合论中的基本结果：每个解析集要么是可数的，要么包含一个完备子集。在最后部分，我们将探讨 OCA 在连续统性质问题上的一个显著应用，特别是 $\omega^\omega$ 中某些类型间隙的存在性。