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.