Core models in the presence of Woodin cardinals
From MaRDI portal
Publication:3416108
DOI10.2178/jsl/1164060449zbMath1109.03064arXivmath/0303089MaRDI QIDQ3416108
Publication date: 19 January 2007
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0303089
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
Related Items
IN INNER MODELS WITH WOODIN CARDINALS, The definability of \(\mathbb{E}\) in self-iterable mice, The self-iterability of L[E]
Cites Work