The Theory of the Entire Algebraic Functions

Abstract

Abstract Let $A$ be the integral closure of the ring of polynomials ${{\mathbb {C}}}[t]$, within the field of algebraic functions in one variable. We show that $A$ interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a decidable theory in [12] and [4].