Habegger showed that a subvariety of a fibre power of the Legendre family of elliptic curves contains a Zariski-dense set of special points if and only if it is special. I'll explain this result, and discuss an effective version that Gal Binyamini, Harry Schmidt, Margaret Thomas and I proved.

I will present a generalisation of the Elekes-Szabó result, that any ternary algebraic relation in characteristic 0 having large intersections with (certain) finite grids must essentially be the graph of a group law, to a version where one obtains an algebraic group action. In the end the conclusion will be similar, but with weaker assumptions. This is recent work with Tingxiang Zou.

A key ingredient in the proof of the model completeness of the real exponential field was a valuation inequality for polynomially bounded o-minimal structures. I shall briefly describe the argument, and then move on to the complex exponential field and Zilber's quasiminimality conjecture for this structure. Here, one can reduce the problem to that of establishing an analytic continuation property for (complex) germs definable in a certain o-minimal expansion of the real field and in order to study this question I propose notions of "complex Hardy fields" and "complex valuations".   Here, the value group is not necessarily ordered but, nevertheless, one can still prove a valuation inequality.