Definable discrete sets with large continuum
Logic
2025-10-28 v2
Abstract
Let be a binary relation and call a set -discrete iff no two distinct of its elements are -related. We show that in the extension of by iterated Sacks forcing, there is a maximal -discrete set, and thus the existence of such sets is compatible with the negation of the continuum hypothesis. As an application we find a maximal orthogonal family of Borel probability measures in said extension. The basis of this is a new Ramsey theoretic result.
Cite
@article{arxiv.1610.03331,
title = {Definable discrete sets with large continuum},
author = {David Schrittesser},
journal= {arXiv preprint arXiv:1610.03331},
year = {2025}
}
Comments
Includes a new result (Proposition 4.1), not included in the previous version