The interpretable-fields conjecture for logarithmic-exponential transseries
The interpretable-fields conjecture for logarithmic-exponential transseries
Let be the differential field of logarithmic-exponential transseries, and let be the real field. Write and for their respective algebraic closures. Interpretable-fields conjecture. The only infinite fields interpretable in are , , and their respective algebraic closures and . 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.