Local Definability of $\mathsf{HOD}$ in $L(\mathbb{R})$ - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

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.
Fichier principal
Vignette du fichier
2308.01072.pdf (911.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04472989 , version 1 (22-02-2024)

Identifiants

Citer

Obrad Kasum. Local Definability of $\mathsf{HOD}$ in $L(\mathbb{R})$. 2023. ⟨hal-04472989⟩
2 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More