Developing Takeuti-Yasumoto forcing - Satoru Kuroda (2018)