Given an ideal , let denote the forcing with -positive sets. We consider models of forcing axioms which also have a normal ideal with completeness such that . Using a bit more than a superhuge cardinal, we produce a model of PFA (proper forcing axiom) which has many ideals on whose associated forcings are proper; a similar phenomenon is also observed in the standard model of obtained from a supercompact cardinal. Our model of PFA also exhibits weaker versions of ideal properties, which were shown by Foreman and Magidor to be inconsistent with PFA.
Along the way, we also show (1) the diagonal reflection principle for internally club sets () introduced by the author in earlier work is equivalent to a natural weakening of “there is an ideal such that is proper”; and (2) for many natural classes of posets, is equivalent to an apparently stronger version which we call .
"PFA and Ideals on Whose Associated Forcings Are Proper." Notre Dame J. Formal Logic 53 (3) 397 - 412, 2012. https://doi.org/10.1215/00294527-1716793