TY - RPRT TI - Set theoretical analogues of the Barwise-Schlipf theorem AU - Ali Enayat PY - 2022 DO - 10.1016/j.apal.2022.103158 UR - https://arxiv.org/abs/2001.09243 ID - 2001.09243 ER -