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.

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