TY - RPRT TI - Generic expansion and Skolemization in NSOP$_1$ theories AU - Alex Kruckman AU - Nicholas Ramsey PY - 2018 DO - 10.1016/j.apal.2018.04.003 UR - https://arxiv.org/abs/1706.06616 ID - 1706.06616 ER -