Definable maximal discrete sets in forcing extensions

DOI10.4310/MRL.2018.V25.N5.A11WikidataQ128476193 ScholiaQ128476193MaRDI QIDQ1727883

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

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

Related Items (1)

TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS

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