TY  - RPRT
TI  - A simpler proof of Jensen's coding theorem
AU  - Sy D. Friedman
PY  - 1992
UR  - https://arxiv.org/abs/math/9211204
ID  - math/9211204
ER  -