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

P-point filterの条件

例の灰色本の証明がなんかおかしかったので、修正を試みた。

https://drive.google.com/file/d/1mRKEc56JXxWuMDXAovkzI9MWV3uVG27k/view?usp=sharing