TY  - RPRT
TI  - Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $\text{SL}_n(\mathcal{O})$, $\text{T}_n(\mathcal{O})$ and $\text{GL}_n(\mathcal{O})$, $n\geq 3$
AU  - Mahmood Sohrabi
AU  - Alexei G. Myasnikov
PY  - 2020
UR  - https://arxiv.org/abs/2004.03585
ID  - 2004.03585
ER  -