We study Σ₁(ω₁)-definable sets (i.e., sets that are equal to the collection of all sets satisfying a certain Σ₁-formula with parameter ω₁) in the presence of large cardinals. Our results show that the ...