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

Tools

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: 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.
Uncontrolled Keywords:	$\mathbb p_{max}$, continuum hypothesis, axiom $(*)$, forcing axioms
Faculty \ School:	Faculty of Science > School of Mathematics (former - to 2024)
UEA Research Groups:	Faculty of Science > Research Groups > Logic (former - to 2024) Faculty of Science > Research Groups > Algebra, Number Theory, Logic, and Representations (ANTLR)
Related URLs:	http://www.scopus.com/inward/record.url?... https://annals.math.princeton.edu/2021/1... https://arxiv.org/abs/1906.10213
Depositing User:	LivePure Connector
Date Deposited:	15 Mar 2022 17:30
Last Modified:	28 Mar 2025 11:17
URI:	https://ueaeprints.uea.ac.uk/id/eprint/84063
DOI:	10.4007/annals.2021.193.3.3

Downloads

Downloads per month over past year

Actions (login required)

View Item