English

PFA and precipitousness of the nonstationary ideal

Logic 2015-04-22 v1

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 ω1\omega_1.

Keywords

Cite

@article{arxiv.1504.05326,
  title  = {PFA and precipitousness of the nonstationary ideal},
  author = {Boban Velickovic},
  journal= {arXiv preprint arXiv:1504.05326},
  year   = {2015}
}