Homogeneously Suslin sets in tame mice
From MaRDI portal
Publication:4899164
DOI10.2178/jsl.7704040zbMath1282.03022arXiv1301.4702OpenAlexW1969776589MaRDI QIDQ4899164
Publication date: 7 January 2013
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1301.4702
Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45)
Related Items (10)
The linearity of the Mitchell order ⋮ Inner-model reflection principles ⋮ Comparison of fine structural mice via coarse iteration ⋮ NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ A premouse inheriting strong cardinals from \(V\) ⋮ Forcing Magidor iteration over a core model below \(0^P\) ⋮ Iterability for (transfinite) stacks ⋮ Tall cardinals in extender models ⋮ Boolean-valued second-order logic ⋮ The definability of \(\mathbb{E}\) in self-iterable mice
Cites Work
This page was built for publication: Homogeneously Suslin sets in tame mice