TY - RPRT TI - NIP formulas and Baire 1 definability AU - Karim Khanaki PY - 2017 UR - https://arxiv.org/abs/1703.08731 ID - 1703.08731 ER -