Hyperdefinability of the Lie model for approximate subgroups

Beatrice Degasperi

Hrushovski proved the Lie model theorem in full generality with model theoretic methods. The theorem states that for every approximate group there exists a generalized definable lo…