Edit Comment on 20090315-1

n[0] = "てなさく";
m[0] = "mimeTeX で |= を \models の代用にする場合は |\hspace{-5}= と間にマイナス５ピクセルのスペースを入れるとよいようです。 サンプル： http://www.math.sci.ehime-u.ac.jp/cgi-bin/mimetex-xbm.cgi?M\,|\hspace{-5}=\,\mathbf{V}=\mathbf{L}[\mu] ";
d[0] = "2009-03-16 08:31:08";
n[1] = "てなさく";
m[1] = "すみませんURLエンコードで書き直します。うまくいきますように(ー人ー) http://www.math.sci.ehime-u.ac.jp/cgi-bin/mimetex-xbm.cgi?M%5c%2c|%5chspace%7b-5%7d%3d%5c%2c%5cmathbf%7bV%7d%3d%5cmathbf%7bL%7d%5b%5cmu%5d";
d[1] = "2009-03-16 08:36:56";
n[2] = "てなさく";
m[2] = "しまった一個書き換え漏れが... http://www.math.sci.ehime-u.ac.jp/cgi-bin/mimetex-xbm.cgi?M%5c%2c%7c%5chspace%7b-5%7d%3d%5c%2c%5cmathbf%7bV%7d%3d%5cmathbf%7bL%7d%5b%5cmu%5d";
d[2] = "2009-03-16 08:37:37";
n[3] = "かがみ";
m[3] = "あ、おかげさまでかっこ良くなりました。今回の場合 M|=κ=γ という感じで特にかっこ悪かったので助かります。これから過去の \vdash, \vDash, \Vdash も直してゆきたいと思います。ありがとうございます。";
d[3] = "2009-03-16 19:01:31";
n[4] = "てなさく";
m[4] = "実際、|M| = κ = γと書いてあるのかと思ってしまいました。直してもらえてよかったです。";
d[4] = "2009-03-17 08:21:36";
n[5] = "かがみ";
m[5] = "実は私も |M| = κ = γ に見えたのです。さすがにまずいので M| = (κ = γ) という感じに直そうと思ってて忘れました。結果的には |= のかっこよい書き方を教わり良かったです。";
d[5] = "2009-03-17 13:11:58";
n[6] = "くるる";
m[6] = "多分間違いはないと思うんですが、$\gamma_0\nin M_0$の証明はもっと簡単になります。$\gamma_0\in M_0\cap\kappa$とすると、$\gamma_0+1\in M_0\cap\kappa$となるので$\gamma_0$の定義に反しますので。つまりは、どのような極限順序数$\alpha$と十分によい部分初等部分構造$M$をとっても$M\cap\alpha$は極限順序数になります。 ということで。";
d[6] = "2009-03-18 22:30:27";
n[7] = "かがみ";
m[7] = "あ、ほとんど自明だったのですね。最初の部分の $\gamma$ も不必要で意味不明なので後で訂正しますが、こちらも訂正します。さらにご指摘により (x,2) で $\kappa \in M_\alpha$ の条件も必要なく、(x.3) で $X=\{\kappa, f\}$ とすれば良さそうです。実は $\kappa \notin M_\alpha$ の場合の $\gamma_\alpha$ の挙動が分からず困っていたのですが、やっとすっきりしました。ありがとうございます。";
d[7] = "2009-03-19 09:34:34";

(password)