There are no P-points in Silver extensions

From MaRDI portal
Publication:6283973

DOI10.1007/S11856-019-1886-2arXiv1703.02082WikidataQ127653136 ScholiaQ127653136MaRDI QIDQ6283973FDOQ6283973


Authors: David Chodounský, Osvaldo Guzmán Edit this on Wikidata


Publication date: 6 March 2017

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 Hruv{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 page was built for publication: There are no P-points in Silver extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6283973)