PFA and precipitousness of the nonstationary ideal

DOI10.1090/PROC/13770MaRDI QIDQ4596008zbMATH OpenOpenAlexFDO

Authors Boban Velickovic

Publication date 8 December 2017

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1504.05326

zbMATH Keywords

proper forcing axiom (PFA)side conditionsnonstationary ideal

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

Abstract: We apply Neeman's method of forcing with side conditions to show that PFA does not imply the precipitousness of the nonstationary ideal on $omeg{a}_1$.

Recommendations

• The entire NS ideal on can be precipitous
• Changing cofinalities and the nonstationary ideal
• Some results on the nonstationary ideal. II
• Precipitous Ideals on Singular Cardinals
• The proper forcing axiom and stationary set reflection

Cites work

• An ideal game
• Forcing with sequences of models of two types
• Ideals and generic elementary embeddings
• Inequalities for cardinal powers
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Precipitous ideals
• Precipitousness in forcing extensions
• Proper and improper forcing.

Cited in

(5)

• On almost precipitous ideals
• PFDE with nonautonomous past
• Weak saturation properties and side conditions
• Forcing consequences of $PFA$ together with the continuum large
• \(\text{PFA}(S)[S]\) for the masses

This page was built for publication: PFA and precipitousness of the nonstationary ideal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596008)