pith. sign in

arxiv: 1703.02082 · v2 · pith:ZRFKOISVnew · submitted 2017-03-06 · 🧮 math.LO

There are no P-points in Silver extensions

classification 🧮 math.LO
keywords modelp-pointssilverquestiontherewithoutaddinganswering
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.