Van den Dries has proved the decidability of the ring of algebraic integers, the integral closure of the ring of integers in
the algebraic closure of the rationals. A well-established analogy leads to ask the same question for the ring of complex polynomials.
This turns out to go the other way, interpreting the rational field. An interesting structure on the
limit of Jacobians of all complex curves is encountered along the way.
- Logic Seminar