PFA and precipitousness of the nonstationary ideal

Boban Velickovic

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