The field of Laurent series (over the reals, say) has a natural derivation but is too small to be closed under integration and other natural operations, such as taking logarithms of positive elements. This field has a natural extension to a field of generalized series, the differential field of transseries, where these defects are remedied in a radical way. I will give an outline of the construction of the field of transseries (or logarithmic-exponential series). Recently, it was established (work by Aschenbrenner, Van der Hoeven, and myself) that the differential field of transseries also has very good model-theoretic properties. I hope to discuss this in the second half of my talk.
Donnerstag, den 16. Juli 2015 um 17 Uhr c.t. Uhr, in INF 288, HS2 Donnerstag, den 16. Juli 2015 at 17 Uhr c.t., in INF 288, HS2
Der Vortrag folgt der Einladung von The lecture takes place at invitation by Prof. G. Böckle