Asymptotic differential algebra and logarithmic transseries

04.03.2021 15:00 - 16:30

Allen Gehret (KGRC)

In this talk I will give a brief introduction to the subject 'Asymptotic Differential Algebra' and an overview of the logarithmic transseries programme. The intuition originates in freshman calculus (specifically: limits, l'hopital's rule, convergence/divergence of integrals and series, asymptotic expansions). The mathematical concepts primarily involve various flavors of fields (equipped with a derivation and/or a valuation and/or an ordering). The logical content will be minimal: first-order languages, model completeness, quantifier elimination.



online via Zoom