1 paper
Jean-Cyrille Massicot, Frank Olaf Wagner
Given a definably amenable approximate subgroup A of a (local) group in some first-order structure, there is a type-definable subgroup H normalised by A and contained in $A^4…