English

Definable maximal discrete sets in forcing extensions

Logic 2022-10-11 v2

Abstract

Let R\mathcal R be a Σ11\Sigma^1_1 binary relation, and recall that a set AA is R\mathcal R-discrete if no two elements of AA are related by R\mathcal R. We show that in the Sacks and Miller forcing extensions of LL there is a Δ21\Delta^1_2 maximal R\mathcal{R}-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 Π11\Pi^1_1 maximal orthogonal family ("mof") of Borel probability measures on Cantor space. By contrast, we show that if there is a Mathias real over LL then there are no Σ21\Sigma^1_2 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

R2 v1 2026-06-22T11:32:21.653Z