We prove that the consistency strength of Martin’s Maximum restricted to partial orders of cardinality ω1ω1 follows from the consistency of ZFC.
生成讲解博客的中文版本
生成AI智能校验的中文版本