Undecidability and definability for the theory of global fields

Abstract

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.