Definable maximal discrete sets in forcing extensions

DOI10.4310/MRL.2018.V25.N5.A11MaRDI QIDQ6266919arXivWikidataFDO

Authors David Schrittesser, Asger Törnquist

Publication date 29 October 2015

Published in arXiv

Full work available at URL https://doi.org/10.4310/MRL.2018.V25.N5.A11

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45)

arXiv classification

math.LO

Abstract: Let $mathcalR$ be a $Sigm{a}_1^1$ binary relation, and recall that a set $A$ is $mathcalR$-discrete if no two elements of $A$ are related by $mathcalR$. We show that in the Sacks and Miller forcing extensions of $L$ there is a $Delt{a}_2^1$ maximal $mathcalR$-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 $P{i}_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 $L$ then there are no $Sigm{a}_2^1$ mofs.

This page was built for publication: Definable maximal discrete sets in forcing extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6266919)