Definable maximal discrete sets in forcing extensions
Logic
2022-10-11 v2
Abstract
Let be a binary relation, and recall that a set is -discrete if no two elements of are related by . We show that in the Sacks and Miller forcing extensions of there is a maximal -discrete set. We use this to answer in the negative the main question posed in \cite{Fischer2010} by showing that in the Sacks and Miller extensions there is a maximal orthogonal family ("mof") of Borel probability measures on Cantor space. By contrast, we show that if there is a Mathias real over then there are no mofs.
Cite
@article{arxiv.1510.08781,
title = {Definable maximal discrete sets in forcing extensions},
author = {David Schrittesser and Asger Törnquist},
journal= {arXiv preprint arXiv:1510.08781},
year = {2022}
}
Comments
17 pages; small corrections