Translation procedures in descriptive inner model theory

DOI10.1090/CONM/690/13869MaRDI QIDQ5351856zbMATH OpenOpenAlexFDO

Authors Grigor Sargsyan

Publication date 30 August 2017

Published in Foundations of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.06091

zbMATH Keywords

descriptive set theoryhod mouseinner model theorymouse

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Abstract: We develop a basic translation procedure that translates a hod mouse to an equivalent mouse. Unlike the translation procedure used by Steel and Zhu, our procedure works in a coarse setting without assuming AD. Nevertheless, the procedure resembles the one developed by Steel. We use the translation procedures to answer a question of Trevor Wilson. Namely, we show that if there is a stationary class of lambda such that lambda is a limit of Woodin cardinals and the derived model at lambda satisfies AD the first member of the Solovay sequence is is less than Theta then there is a transitive model M such that M contains the ordinals and satisfies there is a proper class of Woodin cardinals and a strong cardinal.

Recommendations

• scientific article; zbMATH DE number 5504385
• Downward transference of mice and universality of local core models
• A stationary-tower-free proof of the derived model theorem
• Descriptive inner model theory
• HOD in inner models with Woodin cardinals

Cites work

• Descriptive inner model theory
• HOD in natural models of \(\mathsf{AD}^+\)
• Hod mice and the mouse set conjecture
• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• Inner models in the region of a Woodin limit of Woodin cardinals
• Non-tame mice from tame failures of the unique branch hypothesis
• Nontame mouse from the failure of square at a singular strong limit cardinal
• The derived model theorem

Cited in

(7)

• scientific article; zbMATH DE number 2174394 (Why is no real title available?)
• Downward transference of mice and universality of local core models
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
• Determinacy axioms and large cardinals
• -structures and s-structures: translating the models
• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
• The consistency strength of determinacy when all sets are universally Baire

This page was built for publication: Translation procedures in descriptive inner model theory

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