"Definability in finitely generated rings"