TY - RPRT TI - Is being a higher rank lattice a first order property? AU - Nir Avni AU - Chen Meiri PY - 2020 UR - https://arxiv.org/abs/2010.07970 ID - 2010.07970 ER -