Homogeneously Suslin sets in tame mice

DOI10.2178/jsl.7704040zbMath1282.03022arXiv1301.4702OpenAlexW1969776589MaRDI QIDQ4899164

Farmer Schlutzenberg

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

zbMATH Keywords

inner modelWoodin cardinalshomogeneously Suslin setsactive mousetame mice

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Projectively well-ordered inner models
• Homogeneously Souslin sets in small inner models
• The fine structure of the constructible hierarchy

This page was built for publication: Homogeneously Suslin sets in tame mice