{"title":"Martin's Maximum++ implies Woodin's axiom\n (*)","authors":"D. Asperó, R. Schindler","doi":"10.4007/ANNALS.2021.193.3.3","DOIUrl":null,"url":null,"abstract":"We show that Martin’s Maximum++ implies Woodin’s Pmax axiom (∗). This answers a question from the 1990’s and amalgamates two prominent axioms of set theory which were both known to imply that there are א2 many real numbers.","PeriodicalId":8134,"journal":{"name":"Annals of Mathematics","volume":"193 1","pages":"793-835"},"PeriodicalIF":5.7000,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annals of Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4007/ANNALS.2021.193.3.3","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 22
Abstract
We show that Martin’s Maximum++ implies Woodin’s Pmax axiom (∗). This answers a question from the 1990’s and amalgamates two prominent axioms of set theory which were both known to imply that there are א2 many real numbers.
期刊介绍:
The Annals of Mathematics is published bimonthly by the Department of Mathematics at Princeton University with the cooperation of the Institute for Advanced Study. Founded in 1884 by Ormond Stone of the University of Virginia, the journal was transferred in 1899 to Harvard University, and in 1911 to Princeton University. Since 1933, the Annals has been edited jointly by Princeton University and the Institute for Advanced Study.