TY - RPRT TI - On the model theory of higher rank arithmetic groups AU - Nir Avni AU - Chen Meiri PY - 2020 UR - https://arxiv.org/abs/2008.01793 ID - 2008.01793 ER -