Defining $\mathbb{A}$ in $G(\mathbb{A})$

Abstract

If $G$ is a Chevalley group and $R$ is an adele ring, or a product of local factors in an adele ring, then $R$ is bi-interpretable with $G(R)$.

This supplements similar results for integral domains recently posted by Nies, Segal and Tent

References in corpus (1)

• Model Theory of Adeles and Number Theory