Seminar series
Date
Thu, 13 Jun 2024
17:00
17:00
Location
L3
Speaker
Douglas Blue
Organisation
University of Pittsburgh
I will exposit some recent joint work with Paul Larson and Grigor Sargsyan that uses higher models of the Axiom of Determinacy---models with nontrivial structure above $\Theta$, the least ordinal which is not the surjective image of the reals---to show that instances of the fundamental problem of inner model theory, the iterability conjecture, consistently fail.