Definable maximal discrete sets in forcing extensions

DOI10.4310/MRL.2018.V25.N5.A11MaRDI QIDQ1727883zbMATH OpenWikidataFDO

Authors David Schrittesser, Asger Törnquist

Publication date 21 February 2019

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.08781

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Projective maximal families of orthogonal measures with large continuum
• On non-wellfounded iterations of the perfect set forcing
• Definability and almost disjoint families
• Maximal almost disjoint families, determinacy, and forcing
• A Sacks indestructible co-analytic maximal eventually different family

Cited in

(4)

• Maximal almost disjoint families, determinacy, and forcing
• Definable maximal discrete sets in forcing extensions
• TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS
• Projective absoluteness for Sacks forcing

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 Q1727883)