TY - RPRT TI - HOD in natural models of AD^+ AU - Nam Trang PY - 2013 UR - https://arxiv.org/abs/1201.6128 ID - 1201.6128 ER -