Martin's maximum, saturated ideals, and nonregular ultrafilters. I
type: Item
instance of: scholarly article
title: Martin's maximum, saturated ideals, and nonregular ultrafilters. I
zbMATH Open document ID: 0645.03028
DOI: 10.2307/1971415
author: S. Shelah
author: Matthew Foreman
author: Menachem Magidor
published in: Annals of Mathematics. Second Series
publication date: 1988-01-01T00:00:00Z
review text: This is a long awaited and important paper. It contains a lot of information on the topics mentioned in the title, and it deserves to be read by everyone. Call a poset P stationarity preserving if \(\Vdash_ P\) ``S is stationary'' whenever \(S\subseteq \omega_ 1\) is stationary. It is shown that if P is not stationarity preserving then there are \(\omega_ 1\) dense subsets of P such that no filter on P meets them all. Thus the following statement is basically the best one can hope for when one tries to generalize Martin's Axiom: Martin's Maximum: whenever P is a stationarity preserving poset and \({\mathcal D}\) is a collection of \(\omega_ 1\) dense sets in P there is a filter G on P intersecting every \(D\in {\mathcal D}.\) The authors show Martin's Maximum consistent using a supercompact cardinal. They then go on to point out several consequences of Martin's Maximum such as: \(2^{\aleph_ 0}=\aleph_ 2\) (which to this reviewer's knowledge is not known to follow from the Proper Forcing Axiom), if \(\kappa \geq \omega_ 2\) is regular and \(A\subseteq \{\delta <\kappa:\) \(cf(\delta)=\omega \}\) is stationary then A contains a closed copy of \(\omega_ 1\), the nonstationary ideal on \(\omega_ 1\) is \(\aleph_ 2\)-saturated (even after forcing with a ccc poset) and precipitous, and the Chang conjecture. After a short section on versions of Martin's Maximum which are consistent with CH the authors generalize their work to higher cardinals to obtain results on the precipitousness of nonstationary ideals. A remarkable result is the following: relative to a supercompact cardinal it is consistent that on every regular cardinal the nonstationary ideal is precipitous. Remarks: 1. The authors show Martin's Maximum consistent by showing the following consistent: the Semi-Proper Forcing Axiom plus ``every stationarity preserving poset is \(\aleph_ 1\)-semi-proper''. In J. Symb. Logic 52, 360-367 (1987; Zbl 0625.03035), \textit{S. Shelah} showed that the Semi-Proper Forcing Axio…
Mathematics Subject Classification ID: 03C55
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E50
Mathematics Subject Classification ID: 03E05
zbMATH DE Number: 4051583
zbMATH Keywords: Martin's Maximum
zbMATH Keywords: stationarity preserving poset
zbMATH Keywords: supercompact cardinal
zbMATH Keywords: Chang conjecture
zbMATH Keywords: Semi-Proper Forcing
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/1971415
OpenAlex ID: W2319297044
Wikidata QID: Q56913161
description: scientific article; zbMATH DE number 4051583