The concept of a "transseries" is a natural extension of that of a Laurent series, allowing for exponential and logarithmic terms. Transseries were introduced in the 1980s by the analyst Écalle and also, independently, by the logicians Dahn and Göring. The germs of many naturally occurring real-valued functions of one variable have asymptotic expansions which are transseries. Since the late 1990s, van den Dries, van der Hoeven, and myself, have pursued a program to understand the algebraic and model-theoretic aspects of this intricate but fascinating mathematical object. A differential analogue of “henselianity" is central to this program. Last year we were able to make a significant step forward, and established a quantifier elimination theorem for the differential field of transseries in a natural language. My goal for this talk is to introduce transseries without prior knowledge of the subject, and to explain our recent work.[-]

I will talk about an application of the differentiability of the arithmetic volume function and an arithmetic Bertini type theorem to classify when one can find a closed point on the generic fiber of an arithmetic variety, whose heights with respect to some finite tuple of arithmetic R-divisors approximate a given tuple of real numbers.This result is used to prove existential closedness of $\mathbb{Q}^{alg}$ as a globally valued field (abbreviated GVF) - it is an arithmetic analogue of the function field case published recently by Ita Ben Yaacov and Ehud Hrushovski.[-]

We extend the notion of beautiful pairs by Poizat to unstable theories via definable types, with a specific interest in such pairs of valued fields. In particular, we establish an analogue of Ax-Kochen-Ershov principles in for certain pairs of valued fields. In the specific case of ACVF, we classify all such pairs and deduce the strict pro-definability of various spaces of definable types, such as the stable completion introduced by Hrushovski-Loeser and a model theoretic analogue of the Huber analytification of an algebraic variety. This is joint with Pablo Cubides Kovacsics and Martin Hils.[-]