Seminar series
Date
Thu, 13 Jun 2024
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.

Please contact us with feedback and comments about this page. Last updated on 11 Jun 2024 10:31.