Local Definability of $\mathsf{HOD}$ in $L(\mathbb{R})$
Résumé
We show that in $L(\mathbb{R})$, assuming large cardinals, $\mathsf{HOD} {\parallel}η^{+\mathsf{HOD}}$ is locally definable from $\mathsf{HOD} {\parallel}η$ for all $\mathsf{HOD}$-cardinals $η\in [\boldsymbolδ^2_1,Θ)$. This is a further elaboration of the statement "$\mathsf{HOD}^{L(\mathbb{R})}$ is a core model below $Θ$" made by John Steel.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)