Belles paires of valued fields and analytification
ZoomIn their work, Hrushovski and Loeser proposed the space V̂ of generically stable types concentrating on V to study the homotopy type of the Berkovich analytification of V. An important feature of V̂ is that it is canonically identified as a projective limit of definable sets in ACVF, which grants them tools from model theory. In this talk, we will give a brief introduction to this object and present an alternative approach to internalize various spaces of definable types, motivated by Poizat's work on belles paires of stable theories. Several […]