Edit Comment on 20100103-1

n[0] = "てなさく";
m[0] = "おおっ！ Moschovakis DST2009 のPDFとは!! 情報ありがとうございます。<br><br>前にも書いたけど、文献の[3]については http://www.worldscibooks.com/mathematics/6023.html を見てください。第1章のPDFが読めます。";
d[0] = "2010-01-04 11:00:31";
n[1] = "かがみ";
m[1] = "少しでもお役にたてればうれしいです。[3] の1章はしっかり PC と PDF リーダーに入っています。あの本を持ち歩くのはちょっと。てなさくさんの2009年12月27日の日記での難波先生の本のお話ですが、R(κ) の下にに R(κ) の初等的部分構造となる R(α) (α&lt;κ) が閉非有界に存在するので α が順序数の場合成立しないことは分かるのですが、α が基数である反例があるのかどうか分かりません。証明は f:P(α) → κ が f ∈ R(κ) となるとは限らないので誤っているのだと思います。変なこと書いていたらご指摘頂けるとうれしいです。";
d[1] = "2010-01-04 22:17:47";
n[2] = "てなさく";
m[2] = "そりゃあ、κの下に基数も閉非有界に存在するからもちろん基数のαもあるふぁ。<br><br>証明の問題点は、fが〈R(κ),∈〉の上で定義可能とは限らないのに、R(κ)での置換公理図式を用いた議論ができるのかというところです。そこでクラスの理論としてのBGが〈R(κ+１),∈〉で成立していれば、κは正則したがって到達不能基数ということになります。f∈R(κ)を要求するのは注文厳しすぎです。";
d[2] = "2010-01-05 03:25:13";
n[3] = "かがみ";
m[3] = "ああ情けない。最初のは ω_1, ω_2 の場合と ω_ω の閉非有界集合場合は成立しないので難しいのかなと思ってしまいました。とはいえ結果を教えていただいたあともフォドアの補題系に走り出し爆沈。(ω_α)_{α&lt;κ} が閉非有界であることともちろん κ の正則性と極限性を使うのに一時間以上考えたという情けなさです。後半は完全に間違えていました。なんか f ∈ R(κ) じゃなきゃだめと思っちゃったのです。教えていただいたことはきちんと理解したつもりです。ありがとうございます。";
d[3] = "2010-01-05 05:04:17";

(password)