[F4]はタルスキによる有名な結果. 自力で解ききるのは難しいかと.
[F5]は気づいてしまえば何も難しいことは無い問題.
和因子の各反鎖に, 0列に関する小細工がありますが, これは
全ての反鎖の和を取ったとき全体をちゃんと反鎖にするための工夫です.
[H2]の解法は, 強制法ではよくあることらしいのですが
解法を知った時は狐につままれたような気分でした.
「強制拡大の c.u.b. 集合のゴースト（とでも言うのか）が基礎モデルで作れる.
そしてそいつは c.u.b. 集合であるからどこかで定常集合と交わる.」
言われてみれば確かにそれは自然な解答と考えられます.
半順序がκ-閉ですから, 長さ κ 未満の列は保存されているのです.
かといってそいつらをまとめる関数が基礎モデルにはあるとは限らないので
「和を取って強制拡大の c.u.b. 集合を基礎モデルで得る」なんてことはできません.
しかしながら, 定常集合と c.u.b. 集合が交わるのは必ずκ-未満の場所であるわけで,
強制拡大のフルの情報が本当に必要であるというわけでも無いわけです.
強制法はその微妙な間隙を突くことができるというわけです.
0 件のコメント:
コメントを投稿