On the model theory of higher rank arithmetic groups

Defining $R$ and $G(R)$

(2022) Dan Segal et al.   JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY

First order rigidity of non-uniform higher rank arithmetic groups

(2019) Nir Avni et al.   INVENTIONES MATHEMATICAE

The verbal width of acylindrically hyperbolic groups

(2019) Mladen Bestvina et al.   Algebraic and Geometric Topology

Words have bounded width in

(2019) Nir Avni et al.   COMPOSITIO MATHEMATICA

The Logical Complexity of Finitely Generated Commutative Rings

(2018) Matthias Aschenbrenner et al.   INTERNATIONAL MATHEMATICS RESEARCH NOTICES

R.J. THOMPSON’S GROUPS F AND T ARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS

(2014) CLÉMENT LASSERRE   JOURNAL OF SYMBOLIC LOGIC

Growth in finite simple groups of Lie type

(2014) László Pyber et al.   JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY

Polycyclic-by-finite groups and first-order sentences

(2013) Clément Lasserre   JOURNAL OF ALGEBRA

Approximate Subgroups of Linear Groups

(2011) Emmanuel Breuillard et al.   GEOMETRIC AND FUNCTIONAL ANALYSIS

Diophantine geometry over groups VII: The elementary theory of a hyperbolic group

(2009) Z. Sela   PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY