Email: allen.gehret [at] univie.ac.at
My research interests include the
algebra and model theory of: asymptotic differential algebra, transseries, surreal numbers, asymptotic couples, and ordered algebraic structures in general
Distality in valued fields and related structures (with Matthias Aschenbrenner, Artem Chernikov, and Martin Ziegler), Trans. Amer. Math. Soc. 375 (2022), no. 7, 4641-4710.
Distality for the asymptotic couple of the field of logarithmic
transseries (with Elliot Kaplan), Notre Dame J. Form. Log. 61 (2020), no. 2, 341-361.
Hamel spaces and distal expansions (with Travis Nell), J. Symb. Log. 85 (2020), no. 1, 422-438.
A tale of two Liouville closures, Pacific J. Math. 290 (2017), no. 1, 41-76.
NIP for the asymptotic couple of the field of logarithmic transseries, J. Symb. Log. 82 (2017), 35-61.
The asymptotic couple of the field of logarithmic transseries, J. Algebra 470 (2017), 1-36.
Ph.D. Thesis, Towards a model theory of logarithmic transseries, Aug. 2017. (Thesis defense video )
Slides from some talks
Distal and non-distal ordered abelian groups, Model Theory Seminar, University of Notre Dame, Notre Dame, IN, December 2017.
A tale of two Liouville closures..., Kolchin Research and Training Workshop III, Graduate Center, CUNY, New York City, NY, May 2017.
Towards a model theory of logarithmic transseries, Thesis defense, University of Illinois at Urbana-Champaign, Urbana, IL, April 2017.
The proof of quantifier elimination for (R_an,log) (with Lena Wallner)
Work by students
Combinatorial games and surreal numbers Jakob Lanser, bachelor thesis 2022.
Previous Teaching (UCLA)
Math182 Algorithms Summer Session A 2020 (Here are lecture notes)
Math33b Differential Equations 2020 (Here are Lecture notes,)
Math61 Introduction to Discrete Structures Winter 2020 (Here are lecture notes)
Math131a Real Analysis Fall 2019 (Here are lecture notes)
Math131a Real Analysis Summer Session A 2019
Math170b Probability Theory Spring 2019 (Here are lecture notes and memes.)
Math170a Probability Theory Winter 2019
Math115a Linear Algebra Fall 2018
Math167 Mathematical Game Theory Summer Session A 2018
Math131a Real Analysis Summer Session A 2018
UCLA graduate model theory seminar