Diophantine Undecidability of Holomorphy Rings of Function Fields of Characteristic 0

Laurent Moret-Bailly, Alexandra Shlapentokh

Let $K$ be a one-variable function field over a field of constants of characteristic 0. Let $R$ be a holomorphy subring of $K$, not equal to $K$. We prove the following undecidabil…