Definable maximal discrete sets in forcing extensions

DOI10.4310/MRL.2018.v25.n5.a11zbMath1522.03219arXiv1510.08781WikidataQ128476193 ScholiaQ128476193MaRDI QIDQ6266919

David Schrittesser, Asger Törnquist

Publication date: 29 October 2015

Mathematics Subject Classification ID

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

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