Expansions of the real field by discrete subgroups of Glₙ(C)
Hieronymi, Philipp · Walsberg, Erik · Xu, Samantha
Original · EN
Let Γ be an infinite discrete subgroup of Glₙ(C). Then either (R, <, +, ·, Γ) is interdefinable with (R, <, +, ·, λᶻ) for some λ∈ R, or (R, <, +, ·, Γ) defines the set of integers. When Γ is not virtually abelian, the second case holds.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.