区分无限区间上的内部club与可逼近性
逻辑
2024-04-24 v1
摘要
Krueger证明了PFA蕴含：对所有正则Θ ≥ ℵ2，存在stationarily many [H(Θ)]^ℵ1是内部club但不是内部可逼近的。从可数多个Mahlo基数出发，我们力迫得到一个模型，其中对所有正数n<ω和Θ ≥ ℵ_{n+1}，存在[H(Θ)]^ℵ_n的一个stationary子集，由内部club但不是内部可逼近的集合组成。该定理通过Mitchell力迫的一个新变体得到。这回答了Krueger的问题。
引用
@article{arxiv.2404.15230,
title = {Distinguishing Internally Club and Approachable on an Infinite Interval},
author = {Hannes Jakob and Maxwell Levine},
journal= {arXiv preprint arXiv:2404.15230},
year = {2024}
}