TY  - RPRT
TI  - The Barwise-Schlipf Theorem
AU  - Ali Enayat
AU  - James H. Schmerl
PY  - 2020
UR  - https://arxiv.org/abs/1911.05117
ID  - 1911.05117
ER  -