Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1857

Preprint Number 1857

Previous Next Preprint server

1857. Nir Avni and Chen Meiri
Is being a higher rank lattice a first order property?

Submission date: 15 October 2020


We show that there is a sentence ϕ in the first order language of groups such that a finitely generated group Γ satisfies ϕ if and only if Γ is isomorphic to a group of the form PSL_n(O), where n ≥ 3 and O is a ring of S-integers in a number field.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2010.07970: pdf, ps.

Last updated: March 23 2021 10:21 Please send your corrections to: