TY  - RPRT
TI  - Provable Pi-1-2 Singletons
AU  - Sy D. Friedman
PY  - 1993
UR  - https://arxiv.org/abs/math/9302201
ID  - math/9302201
ER  -