Translation procedures in descriptive inner model theory

DOI10.1090/conm/690/13869zbMath1423.03193arXiv2110.06091OpenAlexW3027903527MaRDI QIDQ5351856

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)

Related Items (2)

NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ Determinacy axioms and large cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Inner models in the region of a Woodin limit of Woodin cardinals
• HOD in natural models of \(\mathsf{AD}^+\)
• Descriptive inner model theory
• Non-tame Mice from Tame Failures of the Unique Branch Hypothesis
• Nontame mouse from the failure of square at a singular strong limit cardinal
• Hod mice and the Mouse Set Conjecture

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