• The proof of Determinacy in L(R) from Neeman’s paper in the Handbook.
  • A new Stationary-Tower-Free Proof of Woodin’s Sealing Theorem, which lifts the well-known absoluteness theorems for L(R) to the collection of the universally Baire sets.
  • Virtual models.