http://d.hatena.ne.jp/webmugi/20061102/p1 タルタルソースも空を飛ぶ:証明そのものに意味はない - livedoor Blog（ブログ）理想論であって、自分が今できているかは別ですが。 私たちが本当に教えたいのは、「シンプルな発想の転換と論理で、難しかったは…

diamond-plusがどうのってやつの続き - くるるの数学ノートひとまず書き終わって見直し中。やれやれ。

Vではなく、集合や内部モデルに対して強制法を適用する場面はかなりたくさんあります。 実数を付け加えないproper forcingでは、拡大の中にある可算集合は既にground modelに存在しています。ですので、拡大の中の可算モデルはground modelの可算モデルのgen…

強制法の二つの見方 - くるるの数学ノートの続きというか。私の指導教諭が集合論の授業で強制法の導入についてこんなことを言っていたを思い出します。 連続体仮説の否定がZFCと整合的であることを示すことを考えよう。コンパクト性定理があるから、ZFCの任…