TY - RPRT TI - Definably amenable NIP groups AU - Artem Chernikov AU - Pierre Simon PY - 2017 UR - https://arxiv.org/abs/1502.04365 ID - 1502.04365 ER -