There is a P-measure in the random model
Logic
2022-04-26 v1
Abstract
We say that a finitely additive probability measure on is \emph{a P-measure} if it vanishes on points and for each decreasing sequence of infinite subsets of there is such that for each and . Thus, P-measures generalize in a natural way P-points and it is known that, similarly as in the case of P-points, their existence is independent of . In this paper we show that there is a P-measure in the model obtained by adding any number of random reals to a model of . As a corollary, we obtain that in the classical random model contains a nowhere dense ccc closed P-set.
Cite
@article{arxiv.2204.11694,
title = {There is a P-measure in the random model},
author = {Piotr Borodulin-Nadzieja and Damian Sobota},
journal= {arXiv preprint arXiv:2204.11694},
year = {2022}
}