Abstract:Let $\Gamma^\infty$ be the set of all universally Baire sets of reals. Inspired by recent work of the second author and Nam Trang, we introduce a new technique for establishing generic absoluteness results for models containing $\Gamma^\infty$. Our main technical tool is an iteration that realizes $\Gamma^\infty$ as the sets of reals in a derived model of some iterate of $V$. We show, from a supercompact cardinal $\kappa$ and a proper class of Woodin cardinals, that whenever $g \subseteq Col(\omega, 2^{2^\kappa})$ is $V$-generic and $h$ is $V[g]$-generic for some poset $\mathbb{P}\in V[g]$, there is an elementary embedding $j: V\rightarrow M$ such that $j(\kappa)=\omega_1^{V[g*h]}$ and $L(\Gamma^\infty, \mathbb{R})$ as computed in $V[g*h]$ is a derived model of $M$ at $j(\kappa)$. As a corollary we obtain that $\mathsf{Sealing}$ holds in $V[g]$, which was previously demonstrated by Woodin using the stationary tower forcing. Also, using a theorem of Woodin, we conclude that the derived model of $V$ at $\kappa$ satisfies $\mathsf{AD}_{\mathbb{R}}+``\Theta$ is a regular cardinal". Inspired by core model induction, we introduce the definable powerset $\mathcal{A}^\infty$ of $\Gamma^\infty$ and use our derived model representation mentioned above to show that the theory of $L(\mathcal{A}^\infty)$ cannot be changed by forcing. Working in a different direction, we also show that the theory of $L(\Gamma^\infty, \mathbb{R})[\mathcal{C}]$, where $\mathcal{C}$ is the club filter on $\wp_{\omega_1}(\Gamma^\infty)$, cannot be changed by forcing. Proving the two aforementioned results is the first step towards showing that the theory of $L(Ord^\omega, \Gamma^\infty, \mathbb{R})([\mu_\alpha: \alpha\in Ord])$, where $\mu_\alpha$ is the club filter on $\wp_{\omega_1}(\alpha)$, cannot be changed by forcing.

$Σ_1$ gaps as derived models and correctness of mice

Ladder mice

Background construction for $λ$-indexed mice

Fine structure from normal iterability

Mouse scales

On a Conjecture Regarding the Mouse Order for Weasels

The Mouse Set Theorem Just Past Projective

The fine structure of operator mice

Of Mice and Machetes

Generic Coding with Help and Amalgamation Failure

Building Models of Determinacy from Below

Towards a generic absoluteness theorem for Chang models

Non-tame mice from tame failures of the unique branch hypothesis

The mouse set conjecture for sets of reals

Translation procedures in descriptive inner model theory

Models of Linear Logic based on the Schwartz $\varepsilon$-product

The Largest Countable Inductive Set is a Mouse Set

Study of Gamma-Ray Bursts of energy E>10 GeV with the ARGO-YBJ detector

Intermediate models with deep failure of choice

On Roitman's principles $\mathsf{MH}$ and $Δ$

$L(\mathbb{R})$ with Determinacy Satisfies the Suslin Hypothesis