-
強制法による AD(の truth)の保存について
2205pv 4 -
選択公理を仮定しない状況での強制法の理論と強制法絶対性について
2166pv 8 -
「数学書を読んでる人を眺めるだけの漫画」が全然わからんけどめちゃくちゃわかる「内容わからんけど性癖に刺さる」
93836pv 105 487 users 69
-
プログラミングに数学は必要か
11372pv 47 1 user -
エレン先生、小学校の算数をふりかえる
1608pv 1 -
無限スロットマシーンのパラドクス
2492pv 5 -
小学校で「集合」を習った?習わなかった?
3718pv 12 -
第 4 回 数学カフェ@関西 「藤田さんが松森さんにクラスのことを説明する会」
2565pv 15 1 user -
マディソンでの某スペシャルセッションの報告。
788pv -
「ZFCのモデル」についての会話
2383pv -
記述集合論的命題の強制可能性について
2173pv 14 -
テープカット
1137pv 1 -
「任意の実数の集合がLebesgue可測」 without Choice
6479pv 41 2 users -
数学と公理的集合論ZFC
13926pv 27 -
集合論の公理と実在の多様性?
2457pv 9 -
「論理的」なんてたいしたことじゃありません
20239pv 74 4 users 3 -
Lebesgue可測な集合の階層を巡る探求
8626pv 30 4 users 3 -
【基礎の公理】∈の無限降下列を作るには従属選択公理ではなく可算選択公理があればよいか?
6896pv 39 1 user 1 -
赤攝也『集合論入門』
14859pv 6 1 user -
『Henle集合論』勉強会・第6章
3663pv 7 -
連続体の定義可能な整列順序づけと連続体仮説の関係について
3933pv 10 -
第一回スタート集合論@ITPL #強制法 #集合論
2008pv 7 1 user 2 -
遠山啓←→吉本隆明の間にあった数学的薫陶
5532pv 10 2 -
Q-theory と最近の自分の研究について
1753pv 5