Expansions of the real field by discrete subgroups of Gl_n(mathbb{C})
classification
🧮 math.LO
keywords
mathbbgammacdotdiscretelambdaabeliancasedefines
read the original abstract
Let $\Gamma$ be an infinite discrete subgroup of Gl$_n(\mathbb{C})$. Then either $(\mathbb{R}, <, +, \cdot, \Gamma)$ is interdefinable with $(\mathbb{R}, <, +, \cdot, \lambda^\mathbb{Z})$ for some $\lambda \in \mathbb{R}$, or $(\mathbb{R}, < , +, \cdot, \Gamma)$ defines the set of integers. When $\Gamma$ is not virtually abelian, the second case holds.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.