Speaker: Pierre Simon
Will give a Model Theory Seminar entitled:
Descent for stable domination
Abstract: In their work on ACVF, Haskell, Hrushovski and Macpherson introduce stably dominated types as types that are in some way governed by their traces on stable sorts. Theories in which such types are dense are called metastable. One technical result required along the way is that of descent for stable domination. The proof of it in HHM is notoriously complicated and assumes that a certain type admits an invariant extension, a hypothesis that needs to be carried over to the definition of metastability, I will present joint work with Mariana Vicaria, in which we give a simpler proof of descent which works in full generality.
Date: 09-08-2026
Time: 10:30 am
Location: 125 Hayes-Healy Center