proper forcing 学習の記録 -- Introductionの章について解説

Abrahamの"Proper forcing"のIntroductionの章は、その時点で既に、初学者にはそこそこ難しい内容がいくつかあるように思われたので、そういったいくつかの命題に証明や考察をつけてみました。3章の内容にも少し関わっています。

https://drive.google.com/file/d/0B7Cy_2w49szIWXdlaDlaa0xSalk/edit?usp=sharing