TY - JOUR AU - Kruckman, Alex AU - Ramsey, Nicholas IS - 8 JA - Annals of Pure and Applied Logic PY - 2018 TI - Generic expansion and Skolemization in NSOP 1 theories VL - 169 ER -