空き時間にちびちび書いてます。数学ガールの新しい巻が出る前には終わっているといいなぁ。

ヒビルテ(2008-06-29)でKeith Devlinの話題が出ていたので、せっかくだからDevlin and Shelahのweak diamondの話でも書こうかと思ったのですが、妄想を書きすぎて時間がなくなりました（爆）。この次にでも。証明に触れる予定はないですが、とても面白い議論…

なんかあれだと単にいちゃもんつけているだけのような印象になりかねないんで補足しようと思っていたんですが、例によって例のごとく旬を過ぎすぎてます。どうしましょうか？（人に聞くな！）

「無限のスーパーレッスン」に酩酊する: わたしが知らないスゴ本は、きっとあなたが読んでいるなんてのが。例によって例のごとく、私には日本の本を覗いてみることはできないんですが、これはどんなもんなのでしょうか？ こういう記事がはてブで上位に来てい…

あ、題名にmimetexを使うとRSSとかに出なくて気持ち悪いのでこうしておきます。 の特徴づけ - くるるの数学ノートで続いているお話ですが、これももう少しちゃんと書き直しておこうかなと思います。 というか、が特殊だという例はたくさんあります*1。代表的…

V=Lとtransitive collapseの話書けよ>自分

これ。transitive collapse - くるるの数学ノート第二弾をやっていないじゃないですか。むしろそっちのほうが肝心なのに。V=Lから連続体仮説が証明できる話のアウトラインをやる予定。

推移的崩壊とAFA集合論の中で推移的崩壊がどう使われるかってところは補足したいのですが、今日はちょっと遅いのでまた今度に。というわけで、自分にプレッシャーをかけておくために予告しておきます。

すでに宿題が山積みなんですが、さらに付け加えておきます。本当は今日書いちゃおうかと思っていたのですが、ちょっと時系列が定かでないので。おまけにAMS Noticesの今月号が"A tribute to Kurt Gödel"なんですよ。生誕100年なんですね。というわけで、せめ…

ゲーデルの不完全性定理の一般的な証明(改訂版) - yoriyukiの日記 こういうの苦手気味なんで、モデル理論的に書き直せないかなとバカなことを考えて、それがバカなことだと気づくまでの話を書こうと思ったのですが、後に回します。後に回すものばかりですが…

id:noripyさんのところで16パズルのことについてコメント書いて、「証明お待ちしています」と書かれたあと放置中なんですが。多分、nとmが共に2より大きいときは強同値類は二つしかないと言えると思うのですが。いつか証明書きます、はい。もし誰か既に解い…

そういえば、今年はShelahの60歳の誕生日、来年はMagidorの60歳の誕生日らしい。ついこの前にBaumgartnerのがあったばかりだったような気がするのに。ちょうどそういう時期なんですな。Shelahはともかく、Magidorの業績についてはちょっと書いてみたいかなと…

もしくは書くこと備忘録。 モデルと証明の話 定義からちゃんと書いてみましょう 完全性定理 不完全性定理 Goldbach予想は独立でない方が嬉しいなの件について 非可算全順序の話 実数の部分順序(Sierpinskiの定理とBaumgartnerの定理) Aronszajn trees and li…