proper forcing 学習の記録 -- Axiom A* forcing は{^\omega \omega}-bounding である

Abraham "Proper forcing"の3章に今回のタイトルの内容が主張されているのですが, その証明が書かれていないようなので作成してみました. 決して難しいものではないのでforcingの良い演習問題としても使えるかもしれませんね.

https://drive.google.com/file/d/0B7Cy_2w49szIazRQcXdsSVVMS1U/view?usp=sharing

内輪メモ

内輪なメモです. 明らかなことなんですが, 証明をすぐに思いつきませんでした.

https://drive.google.com/file/d/0B7Cy_2w49szIWmdBS3Bnb015eXc/view?usp=sharing