子完全力迫公理的一个蕴含$\diamondsuit^+$的推广
An extension of Subcomplete Forcing Axiom which implies $\diamondsuit^+$
首次发表
浏览论文内容
中文总结 AI 辅助
本文证明子完全力迫公理与菱形原则$\diamondsuit^+$相容，推广了该公理的一致性结果。
中文摘要 AI 辅助
我们证明子完全力迫公理与$\diamondsuit^+$相容。
英文摘要
We prove that the Subcomplete Forcing Axiom is consistent with $\diamondsuit^+$.
发表机构
- Graduate School of Mathematical Sciences, The University of Tokyo（东京大学大学院数学系研究科）
机构由 AI 辅助整理，请以论文原文为准。
