alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_d「全ての概念入門」
11432pv 29 1 user 80 -
alg_d「圏のことなんか忘れて圏論しよう」
8552pv 4 -
ひらいずみセミナーと関西すうがく徒のつどい
5316pv 8
-
@alg_dがひたすら図式の計算をした回
6176pv 4 -
ark184「サークラなグラフ理論の話」(ヤバイ)
2662pv 6 -
天才ぴあのん先生のネコでもわかるcategorical logic
5172pv 3 1 user -
魔法少女「無限ゲームと優先法」+α
2942pv 14 -
【2016GW】何も決まっていないオフ会
4941pv 8 -
第五回ひらいずみセミナー
4289pv 7 -
第一回カラ宇か宙わ賢ず者オケ
4676pv 6 -
となりの圏遊会
4875pv 25 -
alg_d「公理追加型数学」
21536pv 18 -
j_tGAP「巨大基数入門~可測基数を巡って~」
6383pv 9 -
alg_d「(なんか長いタイトルのやつ)」
25725pv 25 1 -
第-20回 電気・水追加オフ
8197pv 14 -
第一回ルール追加オフ ~7が22枚~
18202pv 19 -
ark「五色定理・七色定理」
9153pv 17 7 -
第七回関西すうがく徒のつどい ルール追加二次会
8003pv 9 1 user 3 -
waheywey「曲線と曲面の代数幾何学」
8063pv 13 1 user 2 -
佐藤桂「対数の存在について」
8612pv 12 1 user 2 -
第三回ひらいずみセミナー(1日目)
5651pv 10 -
第三回選択公理オフ「Krull implies Zorn」
5161pv 13 -
第二回選択公理オフ「Tychonoff」
7796pv 15 -
まれいんオフ
3036pv 7 -
#ぽよ子オフ セミナー編
6225pv 12 1 user