TY  - RPRT
TI  - Coding into K by reasonable forcing
AU  - Ralf Schindler
PY  - 1999
UR  - https://arxiv.org/abs/math/9706208
ID  - math/9706208
ER  -