3 problems

Let $\mathbb T$ be the differential field of logarithmic-exponential transseries, and let $\mathbb R$ be the real field. Write $\mathbb T[\imag]$ and $\mathbb C=\mathbb R[\imag]$ f…

Definable-isomorphism conjecture. Any infinite field interpretable in $K$ is $K$-definably isomorphic to some finite extension of $K$.

Let $G$ be a torsion-free hyperbolic group. An interpretable field is a field interpretable in a model of $Th(G)$. No-interpretable-fields conjecture. No infinite field is interpre…