TY - RPRT TI - External definability and groups in NIP theories AU - Artem Chernikov AU - Anand Pillay AU - Pierre Simon PY - 2014 DO - 10.1112/jlms/jdu019 UR - https://arxiv.org/abs/1307.4794 ID - 1307.4794 ER -