以适当模型集作为边条件的强迫
Forcing with Adequate Sets of Models as Side Conditions
摘要：
我们提出了一个一般的框架，迫使$ω_2$有限的条件，使用可数模型作为侧条件。这个框架是基于一种方法，比较可数模型的成员相关的一个大的初始段。我们给出了几个例子，这种类型的强迫，包括添加一个功能$ω_2$，添加一个非反射固定子集的$ω_2 \cap \textrm{cof}(ω)$，并添加一个$ω_1$ -Kurepa树。
英文摘要：
We present a general framework for forcing on $ω_2$ with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial segment. We give several examples of this type of forcing, including adding a function on $ω_2$, adding a nonreflecting stationary subset of $ω_2 \cap \textrm{cof}(ω)$, and adding an $ω_1$-Kurepa tree.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
