The interpretable-fields conjecture for logarithmic-exponential transseries

Let T\mathbb T be the differential field of logarithmic-exponential transseries, and let R\mathbb R be the real field. Write T[\imag]\mathbb T[\imag] and C=R[\imag]\mathbb C=\mathbb R[\imag] for their respective algebraic closures. Interpretable-fields conjecture. The only infinite fields interpretable in T\mathbb T are T\mathbb T, R\mathbb R, and their respective algebraic closures T[\imag]\mathbb T[\imag] and C=R[\imag]\mathbb C=\mathbb R[\imag]. This is posed as a further expectation after establishing distality of the relevant transseries theories; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Matthias Aschenbrenner, Artem Chernikov, Allen Gehret and Martin Ziegler, “Distality in valued fields and related structures”, arXiv:2008.09889 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.