Théorie des Modèles et Groupes

Consider the class of fields with Char(K)=0 and x^4+y^4=1 has only 4 solutions in K, we show that this class has a model companion, which we denote by curve-excluding fields. Curve-excluding fields provides (counter)examples to various questions. Model theoretically, they are model complete and TP_2. Field theoretically, they are not large and unbounded. We will discuss other aspects such as decidability of such fields. This is joint work with Will Johnson and Erik Walsberg.

In this talk we will work out a complete characterization of which Lie groups admit a “definable copy”. This is, characterize for which Lie groups G one can find a group H definable in an o-minimal expansion of the real field, and such that G and H are isomorphic. When the answer is positive, the definable copy H that we find is definable in the language of exponential ordered fields, and it is such that any Lie automorphism of H is definable.