The Shoenfield absoluteness theorem states that if M is any transitive model of set theory containing all countable ordinals then M agrees on the truth of \Sigma^1_2 sentences with V. We present the proof of the theorem and discuss several related results.