arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1607.04790math.LO
收藏

具有发散不可数共尾性的相互平稳性的一致性下界

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

Dominik Adolf, Sean Cox, Philip Welch

摘要:

我们证明了Liu-Shelah~ \cite{MR1469093}所考虑的某些互平稳性实例的一致性强度的上界接近于最优。我们还考虑了一些相关的,事实证明,更强的属性。

英文摘要:

We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.

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

↑