2011年05月12日のツイート
@kururu_goedel: (訂正)多分出来た。全てのconvex setがアロンシャイン連続体になるような連結全順序Kの直積K^2には、coordinate-wiseなもの以外の位相空間としての自己同相は存在しない。
@kururu_goedel: @muratori_d 直接の関係はないと思いますが、「それ以上分割できない」みたいな雰囲気でつけられた名前というところは共通しているのでは?
2011-05-12 12:16:29 via TweetDeck to @muratori_d
@kururu_goedel: @muratori_d その通りです。
2011-05-12 12:14:28 via TweetDeck to @muratori_d
@kururu_goedel: @muratori_d それはトンデモです。読むだけ時間の無駄です。
2011-05-12 12:08:01 via TweetDeck to @muratori_d
@kururu_goedel: @muratori_d アトム(集合ではないが元になりうるもの)をもつZFのバリエーションは一時期まで結構研究されていたんですよ。そういうのは考えてらっしゃらないのかもしれませんが。
2011-05-12 09:44:20 via TweetDeck to @muratori_d
@kururu_goedel: @muratori_d ZFCは明らかに冗長で、例えば無限公理と置換公理から対の公理がでるとかそういうのは大いにあります。どの程度互いに独立かはかなり前に盛んに研究されていましたが、ちょっとソースを忘れました
2011-05-12 09:38:46 via TweetDeck to @muratori_d