Members’ Colloquium

The AD+ Duality Program

Hugh Woodin

The study of descriptive set theory in the context of determinacy axioms began nearly 60 years ago. The context for this study is now understood to be the Axiom AD+, which is a refinement of the Axiom of Determinacy (AD).  The objects of this study...

The P vs. NP problem was formulated about 50 years ago, and was chosen to be one of the seven Clay millenium problems 25 years ago. In this period our understanding of the depth, breadth and impact of the problem has changed dramatically. I plan to...