Allen Gehret (UCLA): Towards a Model Theory of Logarithmic Transseries

Dienstag, 18.06.2019 15:00 im Raum SR 1D
Mathematik und Informatik

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 Freitag, 14.06.2019 14:01 von pfeifer
Geändert am Freitag, 14.06.2019 14:01 von pfeifer
[Edit | Vorlage]

Oberseminare und sonstige Vorträge
Sonstige Vorträge