Index / Reload / Edit
もうかなり正解に近いのですが、$M_n$が増加列になるとは限りません。モデルの列のほうを先にとってしまう方が簡単です。私はこの議論にお世話になることがとても多いです。
あ。なんかぼんやり $M_{n-1} \subset M_n$ なるモデルで $\alpha_n = M_n \cap \omega$ なるものを考えれば良いと思ってしまいました。だめです。出直します。
ご無沙汰しております。$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 になります。一応ご参考までに。（間違っていたらご指摘お願いします。>くるるさん）
あ、それでも大丈夫ですね > i-landさん少し、比較的自明な命題をやっつけておく必要があるかもしれませんが。
もうかなり正解に近いのですが、$M_n$が増加列になるとは限りません。モデルの列のほうを先にとってしまう方が簡単です。
私はこの議論にお世話になることがとても多いです。
あ。なんかぼんやり $M_{n-1} \subset M_n$ なるモデルで $\alpha_n = M_n \cap \omega$ なるものを考えれば良いと思ってしまいました。だめです。出直します。
ご無沙汰しております。
$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 になります。
一応ご参考までに。
（間違っていたらご指摘お願いします。>くるるさん）
あ、それでも大丈夫ですね > i-landさん
少し、比較的自明な命題をやっつけておく必要があるかもしれませんが。