HOD in natural models of AD^+
  This paper analyzes full HOD of natural models of AD^+ under a certain smallness assumption of the models. This assumption is made to utilize Sargsyan's work on the theory of hod mice. We show that HOD is a fine-structural model and in particular satisfies GCH. 
Nam Trang
math.LO