A covering lemma for \(K(\mathbb{R})\)
From MaRDI portal
Publication:877257
DOI10.1007/s00153-007-0040-8zbMath1110.03044WikidataQ124810381 ScholiaQ124810381MaRDI QIDQ877257
Publication date: 19 April 2007
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-007-0040-8
03E45: Inner models, including constructibility, ordinal definability, and core models
03E60: Determinacy principles
Cites Work