Analysis of HOD for admissible structures

DOI10.1016/J.APAL.2026.103764MaRDI QIDQ7249412zbMATH OpenFDO

Authors Jan Kruschewski, Farmer Schlutzenberg

Publication date 15 May 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103764

zbMATH Keywords

constructibilityHODinner model theoryKP set theorymouseset-theoretic geology

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Cites work

• HODas a core model
• An outline of inner model theory
• Core models with more Woodin cardinals
• scientific article; zbMATH DE number 5521848 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• Iterability for (transfinite) stacks
• On a conjecture regarding the mouse order for weasels
• Provident sets and rudimentary set forcing
• Scales in \({\mathbf K}(\mathbb R)\)
• Set theory. Exploring independence and truth
• The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
• The self-iterability of L[E]
• VARSOVIAN MODELS I

This page was built for publication: Analysis of HOD for admissible structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7249412)