A covering lemma for HOD of \(K(\mathbb R)\)

DOI10.1215/00294527-2010-027zbMath1217.03030OpenAlexW2001409760WikidataQ124808340 ScholiaQ124808340MaRDI QIDQ609760

Daniel W. Cunningham

Publication date: 1 December 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2010-027

zbMATH Keywords

descriptive set theorydeterminacyfine structure

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

This page was built for publication: A covering lemma for HOD of \(K(\mathbb R)\)