dominating numberとP-pointに関するKetonenの定理

前回に引き続き、"Set Theory: On the Structure of the Real Line" Tomek Bartoszynski, Haim Judah よりP-pointの話題における証明に大いに不満があったので、手直しに挑戦した。

https://drive.google.com/file/d/11tj2PoKHxEHVpEQ9usbSmA6VWovoR4j1/view?usp=sharing