$Σ_1(κ)$-definable subsets of $\mathrm{H}(κ^+)$

Abstract

We study $Σ_1(ω_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $Σ_1$-formula with parameter $ω_1$) in the presence of large cardinals. Our results show that the existence of a Woodin cardinal and a measurable cardinal above it imply that no well-ordering of the reals is $Σ_1(ω_1)$-definable, the set of all stationary subsets of $ω_1$ is not $Σ_1(ω_1)$-definable and the complement of every $Σ_1(ω_1)$-definable Bernstein subset of ${}^{ω_1}ω_1$ is not $Σ_1(ω_1)$-definable. In contrast, we show that the existence of a Woodin cardinal is compatible with the existence of a $Σ_1(ω_1)$-definable well-ordering of $\mathrm{H}({ω_2})$ and the existence of a $Δ_1(ω_1)$-definable Bernstein subset of ${}^{ω_1}ω_1$. We also show that, if there are infinitely many Woodin cardinals and a measurable cardinal above them, then there is no $Σ_1(ω_1)$-definable uniformization of the club filter on $ω_1$. Moreover, we prove a perfect set theorem for $Σ_1(ω_1)$-definable subsets of ${}^{ω_1}ω_1$, assuming that there is a measurable cardinal and the non-stationary ideal on $ω_1$ is saturated. The proofs of these results use iterated generic ultrapowers and Woodin's $\mathbb{P}_{\mathrm{max}}$-forcing. Finally, we also prove variants of some of these results for $Σ_1(κ)$-definable subsets of ${}^κκ$, in the case where $κ$ itself has certain large cardinal properties.