TY  - RPRT
TI  - Developing Takeuti-Yasumoto forcing
AU  - Satoru Kuroda
PY  - 2018
UR  - https://arxiv.org/abs/1804.03798
ID  - 1804.03798
ER  -