2014年12月13日土曜日

proper forcing 学習の記録 -- 3章応用の節その2

前回の続きです. 7行程度で書かれていることですが,
ちゃんと議論しようとするとこのようなことになります.




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

次回に続きます……


追記1: 12/23 bookkeepingに失敗していたのを修正しました.
追記2: 12/25 posetの濃度計算が雑だったのを修正. これについては
http://tjrsfilestorage.blogspot.jp/2014/12/iteration.html
も参照してください.

0 件のコメント:

コメントを投稿