The definability of $\mathbb{E}$ in self-iterable mice
From MaRDI portal
Publication:6256838
DOI10.1016/J.APAL.2022.103208arXiv1412.0085MaRDI QIDQ6256838
Publication date: 29 November 2014
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Applications of set theory (03E75) Set theory (03E99)
This page was built for publication: The definability of $\mathbb{E}$ in self-iterable mice
