Submission date: 23 June 2014.

Abstract:

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 such that every definable superset of H has positive measure.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1406.6007: pdf, ps.