Edit Comment on
20090207-1
n[0] = "くるる"; m[0] = "もうかなり正解に近いのですが、$M_n$が増加列になるとは限りません。モデルの列のほうを先にとってしまう方が簡単です。<br>私はこの議論にお世話になることがとても多いです。"; d[0] = "2009-02-10 12:35:14"; n[1] = "かがみ"; m[1] = "あ。なんかぼんやり $M_{n-1} \subset M_n$ なるモデルで $\alpha_n = M_n \cap \omega$ なるものを考えれば良いと思ってしまいました。だめです。出直します。"; d[1] = "2009-02-10 13:08:16"; n[2] = "i-land"; m[2] = "ご無沙汰しております。<br><br>$H_{\kappa}$ 上の well-order $\Delta$ を fix して，$(H_{\kappa}, \in)$ の代わりに $(H_{\kappa}, \in, \Delta)$ の elementary submodels だけを考えて $D$ を定義すると，$(H_{\kappa}, \in, \Delta)$ の中の definable な Skolem hull が定義できて，ordinal の増加列を取った後にそれに対応するモデルの増加列が取れて，$D$ が club になります。<br><br>一応ご参考までに。<br>（間違っていたらご指摘お願いします。>くるるさん）"; d[2] = "2009-02-12 08:02:38"; n[3] = "くるる"; m[3] = "あ、それでも大丈夫ですね > i-landさん<br>少し、比較的自明な命題をやっつけておく必要があるかもしれませんが。"; d[3] = "2009-02-13 20:00:56";
(password)