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].

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call