PFA and precipitousness of the nonstationary ideal

DOI10.1090/PROC/13770zbMATH Open1387.03040arXiv1504.05326OpenAlexW2963084718MaRDI QIDQ4596008FDOQ4596008

Authors: Boban Velickovic 

Publication date: 8 December 2017

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

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$.

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

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

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)

Cites Work

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

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)