The internal structure of HOD^L[x] up to its Woodin

2017/11/06 by Yizheng Zhu, Zhu, Yizheng
Biochemistry, Genetics and Molecular Biology · Mathematics · #Cell Image Analysis Techniques #math.LO #msc:03E15 #msc:03E45 #msc:03E55 #msc:03E60

paper · pdf · doi:10.48550/arxiv.1711.02007

withdrawn due to a mistake in Lemma 6.2

arxiv created 2017/11/08 · arxiv updated 2017/11/09

Abstract

Assume \boldsymbolΔ¹₃-determinacy. It is shown that for any x ≥_T M₁^#, HOD^L[x] is a model of GCH, and in fact, it is a Jensen-Steel core model up to ω₂^L[x].

Related

• HOD in natural models of AD⁺
• Local Definability of HOD in L(ℝ)
• HOD in inner models with Woodin cardinals
• Analysis of HOD for Admissible Structures
• The HOD Dichotomy