Undecidability and definability for the theory of global fields
Robert S. Rumely · Transactions of the American Mathematical Society · 1980
We prove that the theory of global fields is essentially undecidable, using predicates based on Hasse’s Norm Theorem to define valuations. Polynomial rings or the natural numbers are uniformly defined in all global fields, as well as Gödel functions encoding finite sequences of elements.