TY  - RPRT
TI  - New Sigma^1_3 facts
AU  - Sy D. Friedman
PY  - 1997
UR  - https://arxiv.org/abs/math/9712272
ID  - math/9712272
ER  -