praton

I am the one who knocks.

[praton @rettouw]

@cream49144440 順序位相の入った空間はすべての部分空間が正規になる

https://t.co/EgmGti98Ut

[praton @rettouw]

@cream49144440 あのあと、2人で議論してたら証明できました

[学びたい、ことばかり @Alwe_Logic]

@rettouw Mが既にCohen extensionなら (M=M'[g]なら) homogeityからM-cohen generic hに対してM[h]とMは初等同値になりますね

[praton @rettouw]

@Alwe_Logic ありがとうございます
勉強してみます

[praton @rettouw]

ZFCのある可算推移的モデルMとgenericなGに対し、G∉MだがMとM[G]が初等同値なことはありえる(無矛盾)だろうか？

[praton @rettouw]

@Alwe_Logic すごい、ありがとうございます

P=Fn(ω, 2)^M', g : M'上P-generic, h : M=M'[g]上P-genericとするとPのatomless性よりh∉M.
M=M'[g×g], M[h]=M'[g×h]となるが、P×Pはhomogenousなのでzero-one lawよりM≡M[h].

という理解で合ってますか？

[praton @rettouw]

@Alwe_Logic 「クラスサイズCohen強制」分からないんですが、"クラスしか変えない"というのは具体的にはどういう主張なんですか？

[有隣堂横浜駅西口店 @yurindo_ykonisi]

夏に向けて、とにかく青い表紙の本集めてみました。

[praton @rettouw]

調べたら「ふ」は書体によって真ん中がつながったり離れたりするみたいなので使わないほうが良かった

[praton @rettouw]

正解は、「すべての文字がホモトピー同値」でした

[praton @rettouw]

【あるなしクイズ】
［ある］　　　［なし］
あめ　　　｜　はれ
えいこう　｜　しょうり
はむ　　　｜　ちーず
せんろ　　｜　ほどう
ふた　　　｜　なべ
す　　　　｜　しょうゆ

[praton @rettouw]

普段どっちだと思ってるか

[praton @rettouw]

@cogyoza そうですね、だから変な話、空文字列「」もあるのグループに入りますね

[praton @rettouw]

@kurema_campaign 確かに何かの有無が差異になっているわけではないですが、現状こういうものも含めて広く「あるなしクイズ」と呼ばれているという認識です

https://t.co/RODWZHJ5Zd

[praton @rettouw]

@mu_im_u_im ちょっと調べてみます

[praton @rettouw]

「S^n上に位相群構造が入るのはいつか」とか知りたいけど、代数トポロジーが必須そうで厳しい

[praton @rettouw]

@mu_im_u_im ありがとうございます
いつか理解したいです

[praton @rettouw]

【あるなしクイズ】
［ある］　　　［なし］
あめ　　　｜　はれ
えいこう　｜　しょうり
はむ　　　｜　ちーず
せんろ　　｜　ほどう
ふた　　　｜　なべ
す　　　　｜　しょうゆ

[praton @rettouw]

@I_______nu ありがとうございます
リー群もK理論も全然知らないんですが、しっかり勉強するのは大変そうなので厳しがってました
「リー群の接束は自明」くらいは追ってみたら分かった気になれるかも？と思ったりもしてます

[praton @rettouw]

@cream49144440 また教えてください