Hod up to AD$_{\mathbb{R}}+\Theta$ is measurable
Logic
2021-11-15 v1
Abstract
Suppose is a transitive class size model of is regular". is a minimal model of is measurable" if (i) (ii) there is such that is a normal -complete measure on " and (iii) for any transitive class size such that , there is no -complete measure on ". Continuing Trang's work in [8], we compute HOD of a minimal model of is measurable".
Cite
@article{arxiv.2111.06452,
title = {Hod up to AD$_{\mathbb{R}}+\Theta$ is measurable},
author = {Grigor Sargsyan and Rachid Atmai},
journal= {arXiv preprint arXiv:2111.06452},
year = {2021}
}