English

There are no P-points in Silver extensions

Logic 2018-10-26 v2

Abstract

We prove that after adding a Silver real no ultrafilter from the ground model can be extended to a P-point, and this remains to be the case in any further extension which has the Sacks property. We conclude that there are no P-points in the Silver model. In particular, it is possible to construct a model without P-points by iterating Borel partial orders. This answers a question of Michael Hru\v{s}\'ak. We also show that the same argument can be used for the side-by-side product of Silver forcing. This provides a model without P-points with the continuum arbitrary large, answering a question of Wolfgang Wohofsky.

Cite

@article{arxiv.1703.02082,
  title  = {There are no P-points in Silver extensions},
  author = {David Chodounský and Osvaldo Guzmán},
  journal= {arXiv preprint arXiv:1703.02082},
  year   = {2018}
}

Comments

final version

R2 v1 2026-06-22T18:37:38.505Z