TY - RPRT TI - Naming an indiscernible sequence in NIP theories AU - Artem Chernikov AU - Pierre Simon PY - 2009 UR - https://arxiv.org/abs/0906.2708 ID - 0906.2708 ER -