HOD in natural models of AD(+)

作者：Trang Nam^*

来源：Annals of Pure and Applied Logic, 2014, 165(10): 1533-1556.

DOI：10.1016/j.apal.2014.04.006

• HOD
• Hod mice
• Determinacy
• Descriptive inner model theory

The goal of this paper is to compute the full HOD of models of AD(+) of the form L(p(R)) below "AD(R) + circle minus is regular". As part of this computation, we give a computation of HOD vertical bar circle minus left open in [3] for circle minus a successor in the Solovay sequence. Our work, when combined with [3], shows that in AD(+) models of the form L(p(R)) below "AD(R) + circle minus is regular", HOD satisfies GCH.

• 出版日期2014-10