Undecidability and definability for the theory of global fields