English

Definable discrete sets with large continuum

Logic 2025-10-28 v2

Abstract

Let R\mathcal R be a Σ11\Sigma^1_1 binary relation and call a set R\mathcal R-discrete iff no two distinct of its elements are R\mathcal R-related. We show that in the extension of L\mathbf{L} by iterated Sacks forcing, there is a Δ21\Delta^1_2 maximal R\mathcal R-discrete set, and thus the existence of such sets is compatible with the negation of the continuum hypothesis. As an application we find a Π11\Pi^1_1 maximal orthogonal family of Borel probability measures in said extension. The basis of this is a new Ramsey theoretic result.

Keywords

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

R2 v1 2026-06-22T16:17:40.090Z