A covering lemma for HOD of \(K(\mathbb R)\)
type: Item
instance of: scholarly article
title: A covering lemma for HOD of \(K(\mathbb R)\)
zbMATH Open document ID: 1217.03030
DOI: 10.1215/00294527-2010-027
author: Daniel W. Cunningham
published in: Notre Dame Journal of Formal Logic
publication date: 2010-12-01T00:00:00Z
review text: This is the third in the series of the author's articles on covering lemmas for inner models. In the first of the series [Arch. Math. Logic 41, No.~1, 49--54 (2002; Zbl 1022.03031)], the author developed the covering lemmas for \(L({\mathbb R})\), as well as \(\text{HOD}^{L({\mathbb R})}\), under the assumption of \(\text{ZF}+\text{AD}\) and the nonexistence of \({\mathbb R}^\sharp\). In the second [Arch. Math. Logic 46, No. 3--4, 197--221 (2007; Zbl 1110.03044)] and this paper, the author generalizes these results to an inner model called \(K({\mathbb R})\). \(K({\mathbb R})\) is built with mice that are associated to \({\mathbb R}\)-complete measures, and is less general than Steel's \(\mathbf{K}({\mathbb R})\), which is built with mice that are associated to sequence of extenders. This paper proves the covering lemma for \(\text{HOD}^{K({\mathbb R})}\). The main theorem states that under \(\text{ZF}+\text{AD}\) and the nonexistence of an inner model with \({\mathbb R}\)-complete measurable cardinals, every set of reals of size \(\geq \Theta\) (the supremum of the ordinals that are the surjective images of \({\mathbb R}\)) can be covered by one in \(\text{HOD}^{K({\mathbb R})}\) of the same size. A key ingredient of the argument is the version of a theorem of Woodin's adapted to \(K({\mathbb R})\), more precisely, \(K({\mathbb R})\) is a symmetric generic extension of its own \(\text{HOD}\). Though this follows from Steel's analysis for \(\mathbf{K}({\mathbb R})\), the author provides his own arguments. As a corollary, the author obtains that, assuming \(\text{ZF}+\text{AD}\), the existence of an inner model with \({\mathbb R}\)-complete measurable cardinals is equivalent to the existence of a set of ordinals that has size \(\geq \Theta^{K({\mathbb R})}\) but no covering set in \(\text{HOD}^{K({\mathbb R})}\).
reviewed by: Xianghui Shi
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03E60
zbMATH DE Number: 5822355
zbMATH Keywords: descriptive set theory
zbMATH Keywords: determinacy
zbMATH Keywords: fine structure
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1215/00294527-2010-027
OpenAlex ID: W2001409760
Wikidata QID: Q124808340
Recommended article: A covering lemma for \(K(\mathbb{R})\)
Recommended article: The Covering Lemma
Recommended article: Is there a set of reals not in \(K(\mathbb{R})\)?
Recommended article: Q3222184
Recommended article: Q4934565
Recommended article: Applications of the Covering Lemma for Sequences of Measures
Recommended article: HODL(ℝ) is a Core Model Below Θ
Recommended article: Beginning Inner Model Theory
Recommended article: Collapsing the cardinals of HOD
Recommended article: Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
description: scientific article; zbMATH DE number 5822355