**May 7**

Benjamin Goodman,
CUNY

**Woodin's Extender Algebra**

This oral exam talk will present a proof of Woodin's result that every real number is generic over some iterated ultrapower of any model with a Woodin cardinal. No fine structure theory will be used, and there will be a brief introduction to iteration trees.