Abstract:We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_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 $\Sigma_1(\omega_1)$-definable, the set of all stationary subsets of $\omega_1$ is not $\Sigma_1(\omega_1)$-definable and the complement of every $\Sigma_1(\omega_1)$-definable Bernstein subset of ${}^{\omega_1}\omega_1$ is not $\Sigma_1(\omega_1)$-definable. In contrast, we show that the existence of a Woodin cardinal is compatible with the existence of a $\Sigma_1(\omega_1)$-definable well-ordering of $\mathrm{H}({\omega_2})$ and the existence of a $\Delta_1(\omega_1)$-definable Bernstein subset of ${}^{\omega_1}\omega_1$. We also show that, if there are infinitely many Woodin cardinals and a measurable cardinal above them, then there is no $\Sigma_1(\omega_1)$-definable uniformization of the club filter on $\omega_1$. Moreover, we prove a perfect set theorem for $\Sigma_1(\omega_1)$-definable subsets of ${}^{\omega_1}\omega_1$, assuming that there is a measurable cardinal and the non-stationary ideal on $\omega_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 $\Sigma_1(\kappa)$-definable subsets of ${}^{\kappa}\kappa$, in the case where $\kappa$ itself has certain large cardinal properties.

Sharps and the Σ^1_3 correctness of K

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

On the $Σ$-invariants of Artin groups satisfying the $K(π,1)$-conjecture

An isomorphism theorem for models of weak König’s lemma without primitive recursion

Killing the GCH everywhere with a single real

Coding and reshaping when there are no sharps

On the Σ ‐invariants of Artin groups satisfying the K(π,1) ‐conjecture

A note on "The Cartan-Hadamard conjecture and the Little Prince"

A Note on Singular Cardinals in Set Theory Without Choice

Mice with Woodin cardinals from a Reinhardt

Remark 3.4 A Dedekind Finite Borel Set

Are $\mathfrak a$ and $\mathfrak d$ your cup of tea? Revisited

Sharpness of proper and cocompact actions on reductive homogeneous spaces

A non-Archimedean theory of complex spaces and the cscK problem

Rigidity of Symmetric Simplicial Complexes and the Lower Bound Theorem

Proof of a conjecture of Kudla and Rallis on quotients of degenerate principal series

Closed $k$-Schur Katalan functions as $K$-homology Schubert representatives of the affine Grassmannian

The consistency strength of determinacy when all sets are universally Baire

Narrow systems revisited

On the consistency of ZF with an elementary embedding from into

SPECIAL VALUES OF THE ZETA FUNCTION OF AN ARITHMETIC SURFACE