Martin's Maximum++ implies Woodin's axiom (*)

• 成果类型: Article
• 署名作者: Aspero, David; Schindler, Ralf
• 刊物名称: ANNALS OF MATHEMATICS
• ISSN/ISSBN: 0003-486X
• DOI: 10.4007/annals.2021.193.3.3
• 发表日期: 2021
• 页码: 793-835
• 关键词: Consistency; CONSEQUENCES; Algebra; IDEALS

摘要

We show that Martin's Maximum(++) implies Woodin's P-max axiom (*). This answers a question from the 1990s and amalgamates two prominent axioms of set theory which were both known to imply that there are aleph(2) many real numbers.