-
『Henle集合論』勉強会・第1章
2876pv 9 -
計算論家トリイロさんと集合論家DIkeさんの対話
2868pv 9 2 users
-
『Henle集合論』勉強会・第2章
2863pv 3 -
『Henle集合論』勉強会・第5章
2793pv 2 -
スタート集合論
2593pv 9 2 users -
第 4 回 数学カフェ@関西 「藤田さんが松森さんにクラスのことを説明する会」
2565pv 15 1 user -
無限スロットマシーンのパラドクス
2492pv 5 -
集合論の公理と実在の多様性?
2457pv 9 -
∀x¬(F(x)∈x) となるようなFを構成しなさい
2443pv 15 -
「ZFCのモデル」についての会話
2387pv -
強制法による AD(の truth)の保存について
2205pv 4 -
可算濃度より小さい無限基数が存在しない件
2201pv 6 1 user 1 -
記述集合論的命題の強制可能性について
2173pv 14 -
選択公理を仮定しない状況での強制法の理論と強制法絶対性について
2166pv 8 -
第一回スタート集合論@ITPL #強制法 #集合論
2008pv 7 1 user 2 -
『Henle集合論』勉強会・第3章
1974pv 2 -
Q-theory と最近の自分の研究について
1753pv 5 -
エレン先生、小学校の算数をふりかえる
1608pv 1 -
『Henle集合論』勉強会・第4章
1492pv 3 -
H次数についての対話 2013-08-05
1230pv 3 -
テープカット
1138pv 1 -
マディソンでの某スペシャルセッションの報告。
788pv