Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
type: Item
instance of: scholarly article
title: Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
zbMATH Open document ID: 0973.03068
DOI: 10.1016/S0168-0072(00)00020-8
published in: Annals of Pure and Applied Logic
publication date: 2001-11-23T00:00:00Z
review text: Trying to settle the compatibility problem of the saturation of the nonstationary ideal on \(\omega_1\) and the Continuum Hypothesis, \textit{W. H. Woodin} initiated an analysis of the inner model \(L(P(\omega_1))\) under suitable large cardinal hypotheses in his 934 pages monograph [The axiom of determinacy, forcing axioms, and the nonstationary ideal, de Gruyter Series in Logic and its Applications. 1, de Gruyter, Berlin (1999; Zbl 0954.03046)]. The core of the analysis is a partial order, denoted by \({\mathbb P}_{\max }\), in \(L(R)\), which is nontrivial under the axiom of determinacy, \(\text{AD}^{L(R)}\). Analysis of \(L(P(\omega_1))\) essentially reduces to an axiom, called Axiom \((*)\), which states that the Axiom of Determinacy holds in the inner model \(L(R)\) and the inner model \(L(P(\omega_1))\) is a generic extension of \(L(R)\) by the forcing notion \({\mathbb P}_{\max}\). Woodin's analysis indicates that there are various connections and similarities between the Axiom \((*)\) and a well-known forcing axiom, Martin's Maximum, due to Foreman, Magidor and Shelah (Martin's maximum, saturated ideals and nonregular ultrafilters, Ann. of Math. 127, 1-47(1988)), which states that if \(P\) is a stationary set preserving partial order and \(\{D_\alpha \mid \alpha<\omega_1\}\) is a sequence of dense subsets of \(P\), then there exists a filter meeting all the \(D_{\alpha }\)'s. For example, both Axiom \((*)\) and Martin's Maximum imply that the Axiom of Choice holds in \(L(P(\omega_1))\), the nonstationary ideal on \(\omega_1\) is saturated, \(2^{\aleph_0} = \aleph_2\), etc. Naturally, questions relating these two axioms occur. One of them is settled in the paper under review. Namely, it is shown that relative to the consistency of the existence of supercompact limit of supercompact cardinals, it is consistent that Martin's Maximum holds but Axiom \((*)\) fails. The proof applies a generalization of Woodin's argument, which is in Woodin's book used to show th…
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E40
Mathematics Subject Classification ID: 03E65
Mathematics Subject Classification ID: 03E55
zbMATH DE Number: 1546601
zbMATH Keywords: forcing axioms
zbMATH Keywords: large cardinals
zbMATH Keywords: consistency
zbMATH Keywords: forcing
zbMATH Keywords: forcing notion
zbMATH Keywords: Axiom \((*)\)
zbMATH Keywords: Martin's Maximum
author: Paul Larson
reviewed by: Qi Feng
MaRDI profile type: Publication
cites work: Projective Stationary Sets and a Strong Reflection Principle
cites work: Martin's maximum, saturated ideals, and nonregular ultrafilters. I
cites work: The size of \(\widetilde T\)
cites work: Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
cites work: Chang's conjecture and the non-stationary ideal
cites work: Q4375363
cites work: The axiom of determinacy, forcing axioms, and the nonstationary ideal
description: scientific article; zbMATH DE number 1546601