くるる @kururu_goedel
アメリカで集合論やってます。
-
数学マスター著者
1178pv 1 -
マディソンでの某スペシャルセッションの報告。
788pv -
Thompson群と文脈自由言語
2264pv 20 2 users
-
選択公理について @hyuki さんがask.fmで聞かれていたことに横から答えてみる
2081pv 16 2 users -
Spring Topology行ってきたよ報告
2265pv 13 1 user -
開被覆を添え字付き集合族で定義するという話から、到達不可能基数の利用とか
2998pv 11 2 users