arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2301.02634math.LO
收藏

关于不交平稳序列

On disjoint stationary sequences

Maxwell Levine

AI总结:

该研究通过混合支撑迭代的另一种表述(用作Mitchell力迫变体)在连续基数上得到不交平稳序列回答Krueger问题,还利用Mahlo基数构造模型回答Gilton关于ℵ₂的问题。

摘要:

我们通过在连续基数上得到不交平稳序列回答了Krueger的一个问题。核心思想是混合支撑迭代的另一种表述,将其更明确地用作Mitchell力迫的变体。我们还使用一个Mahlo基数得到一个模型,其中ℵ₂∉I[ℵ₂]且ℵ₂上不存在不交平稳序列,回答了Gilton的一个问题。

英文摘要:

We answer a question of Krueger by obtaining disjoint stationary sequences on successive cardinals. The main idea is an alternative presentation of a mixed support iteration, using it even more explicitly as a variant of Mitchell forcing. We also use a Mahlo cardinal to obtain a model in which $\aleph_2 \notin I[\aleph_2]$ and there is no disjoint stationary sequence on $\aleph_2$, answering a question of Gilton.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑