2011年04月01日のツイート
@kururu_goedel: @igaris あー、経済学も勉強しておきましょうね。地方政府ならともかく国にはそれ以外の選択肢もあります。
2011-04-01 22:43:00 via TweetDeck to @igaris
@kururu_goedel: @ilovegalois なんかもっと変な積でとは私も思ったのですが、今のところ思い付きません。
2011-04-01 10:47:51 via TweetDeck to @ilovegalois
@kururu_goedel: @ilovegalois 直積の普通の順序の入れ方は、(a_1,...,a_n)\leq(b_1,...,b_n) iff a_i\leq b_i for all iです。全順序にはなりませんが、前述の性質を持ちます
2011-04-01 10:45:50 via TweetDeck to @ilovegalois
@kururu_goedel: @patho_logic 少なくとも一つはPIFに載っている、全てのアロンシャイン木をspecialにするやつ。結構頑張らないとproperも言えなかったはず。
2011-04-01 06:56:36 via TweetDeck to @patho_logic
@kururu_goedel: それは出来ないと証明出来ます。全順序の直積だと、任意の二元に、それら両方より小さい元がとれるので。RT @ilovegalois 半順序集合は全順序集合の直積に分解できるっていう同型定理はないんだろうか。
@kururu_goedel: 切断を使ってΩ(L)って不変量を定義すると、それの集合論的性質によって、抽出しづらいLの性質がサクっと書けて、それを使って微妙な線形順序を特徴付けている。
@kururu_goedel: 切断はJustin Mooreと私との共著の URL でとても美しく応用されています。あ、共著だけどもちろんそのあたりはJustinの独壇場ね。私は強制法絡みの方で貢献しただけ。
@kururu_goedel: あ、もちろん昨日やったススリン直線とか$\omega_1$とかの上には距離は入りませんからね。順序位相は当然入る。
@kururu_goedel: 実数を切断で定義するよりもコーシー列で定義するほうが良いという人が多く、まあそうかなぁとも思うのだけれども、距離が入らないと使えないコーシー列よりも全順序だけで使える上に有理数の集合で定義が終わる切断の方が、私のような人間には嬉しいということは主張しておきたい。
@kururu_goedel: あ、しまった。まだアメリカは3月だった
@kururu_goedel: ところで、どきどき水滸伝は本当に出るんですか?
@kururu_goedel: とかでいいですか?
@kururu_goedel: 実はProper Forcing(初版)書いたの俺なんすよ?
@kururu_goedel: さすが / 3文字まで投稿できるナノブログ、はてなナウ URL
@kururu_goedel: よく考えたら、Cohen実数いくら付け加えてもSuslin tree壊れないとか当たり前だった。これでZFC+?CH+?SHはOK。というか、Property KでOK。ちょっとこれは恥ずかしい見落とし。