摘要
本文研究了加强型Mathias力迫及其在不可数情形下的推广.通过力迫法,证明了Mathias力迫添加支配性实数,而加强型Mathias力迫添加的是无界、非支配性的实数.还证明了ω_1上的Mathias型力迫添加的是无界、非支配性的ω_1类实数且不添加新的实数.这些结论可应用于对实数上的基数不变量的研究.
- 单位
本文研究了加强型Mathias力迫及其在不可数情形下的推广.通过力迫法,证明了Mathias力迫添加支配性实数,而加强型Mathias力迫添加的是无界、非支配性的实数.还证明了ω_1上的Mathias型力迫添加的是无界、非支配性的ω_1类实数且不添加新的实数.这些结论可应用于对实数上的基数不变量的研究.