2011年09月25日のツイート
@kururu_goedel: @MarriageTheorem 確かに誤解を招く表現でした。すみません。
@kururu_goedel: アレフ1が可測基数になるはずはないと思う人の気持ちも考えてください!!ちょっとでも考慮に入れていたら決定性の公理が正しいなんて発想はでて こないはずです!@patho_logic
@kururu_goedel: 昨日ラジオでリストのハンガリー狂詩曲とかやっていて、この曲をやたらに練習していた大学のサークルの先輩のことを思い出してしまった。
2011-09-25 12:13:03 via web
@kururu_goedel: というか、ADならば、club filterがアレフ1上の超フィルターになるんじゃなかったっけ。すごい世界だよなあ。
@kururu_goedel: よく考えてみると、必勝法がある方と無い方とでわければいかにも超フィルターができそうなのだけど。アレフ1とかに落とすには工夫が必要。一回は読んで理解したつもりになったけど忘れた。
@kururu_goedel: 私のAD理解はこの程度なので、某氏を同僚にもっていることが活かされないことこの上ない。
@kururu_goedel: 疲れて調べる気力がないのだけど、決定性の公理を仮定すると、アレフ1かアレフ2かが超コンパクトになるんじゃなかったっけ。連続体濃度だっけ。
@kururu_goedel: @kagami_hr 決定性の公理を仮定すると、アレフ1は可測です。
2011-09-25 05:21:15 via TweetDeck to @kagami_hr