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