Aspero, David and Schindler, Ralf (2021) Martin's Maximum++ implies Woodin's axiom (*). Annals of Mathematics, 193 (3). pp. 793-835. ISSN 0003-486X

Preview

PDF (MM++_implies_star) - Accepted Version Download (1MB) | Preview

Abstract

We show that Martin's Maximum ++ implies Woodin's Pmax 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 N2 many real numbers.

Item Type:	Article
Additional Information:	Funding Information: Keywords: Continuum Hypothesis, forcing axioms, Pmax forcing, axiom (∗) AMS Classification: Primary: 03E57, 03E55, 03E50. First named author funded by EPSRC Grant EP/N032160/1. Second named author funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC 2044 390685587, Mathematics Münster: Dynamics - Geometry - Structure. © 2021 Department of Mathematics, Princeton University. Publisher Copyright: © 2021. Department of Mathematics, Princeton University
Uncontrolled Keywords:	$\mathbb p_{max}$, continuum hypothesis, axiom $(*)$, forcing axioms
Faculty \ School:	Faculty of Science > School of Mathematics
Related URLs:	http://www.scopus.com/inward/record.url?... https://annals.math.princeton.edu/2021/1...
Depositing User:	LivePure Connector
Date Deposited:	15 Mar 2022 17:30
Last Modified:	28 Jun 2022 00:25
URI:	https://ueaeprints.uea.ac.uk/id/eprint/84063
DOI:	10.4007/annals.2021.193.3.3

Actions (login required)

View Item