具有发散不可数共尾性的相互平稳性的一致性下界
Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities
摘要:
我们证明了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分析而来,可能存在错误,请以论文正文为准。