Allen Gehret (UCLA): Towards a Model Theory of Logarithmic Transseries
Tuesday, 18.06.2019 15:00 im Raum SR 1D
In this talk I will first define and describe the mathematical object $\mathbb{T}_{\log}$: the ordered valued differential field of
logarithmic transseries. I will then discuss a strategy I have developed for proving $\mathbb{T}_{\log}$ is model complete in a certain language that I will introduce. I reduce the problem of model completeness down to two precise conjectures concerning the nature of logarithmic derivatives, solutions of linear differential equations, and differential-transcendence.
Angelegt am Friday, 14.06.2019 14:01 von Martina Pfeifer
Geändert am Friday, 14.06.2019 14:01 von Martina Pfeifer
[Edit | Vorlage]