We study Σ1-definable sets 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-definable, the set of all stationary subsets of ω1 is not Σ1-definable and the complement of every Σ1-definable Bernstein subset of ${}_{}^{{\omega _1}}\omega _1^{}$ is not Σ1-definable. In contrast, we show that the existence of a Woodin cardinal is compatible with the existence of a Σ1-definable well-ordering (...) of H and the existence of a Δ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 Σ1-definable uniformization of the club filter on ω1. Moreover, we prove a perfect set theorem for Σ1-definable subsets of ${}_{}^{{\omega _1}}\omega _1^{}$, assuming that there is a measurable cardinal and the nonstationary ideal on ω1 is saturated. The proofs of these results use iterated generic ultrapowers and Woodin’s ℙ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. (shrink)