-
圏論での積分(エンド)について
19824pv 43 4 users -
集合論の無矛盾性と巨大基数
18843pv 41 4 users 2 -
直観主義,背理法と否定の導入
16189pv 33 1 user
-
閉包とは
16139pv 28 1 user -
随伴がなんなのか説明を試みる
15248pv 21 1 user -
f^-1と∪, ∩の交換と圏論について
13971pv 60 3 users -
alg_dによる「選択公理⇒Zornの補題」の概略
12754pv 63 2 users -
収束列が取れるか。単射と全射から全単射が作れるか。
11798pv 64 4 users -
無限公理を否定したとき,選択公理は証明可能か?
10598pv 23 1 user -
位相空間論は良いものだぞ 何しろ入門書読み終えたらその日から論文読むフェイズに入れる
10429pv 35 2 users -
Fermatの最終定理と選択公理
9701pv 22 1 user -
@alg_d 先生によるformal category theory入門
9467pv 4 1 user -
クラスありの拡張言語が生の集合論と証明能力が変わらない
9229pv 12 1 user -
Lebesgue可測な集合の階層を巡る探求
8648pv 30 4 users 3 -
神殺しへの挑戦とその数学的解説
8597pv 11 1 user -
【2011年記念】 x^2011-1 の因数分解
8587pv 22 3 users -
朝の稠密な数学 TL
7829pv 17 2 users -
多項式環 TL
7782pv 22 1 user -
κ+κ=κの証明、どこに選択公理を使っている?
7689pv 30 -
ススリンのことかーーーっ!!! (続・実数TL)
7465pv 35 3 users -
【基礎の公理】∈の無限降下列を作るには従属選択公理ではなく可算選択公理があればよいか?
6913pv 39 1 user 1 -
「任意の実数の集合がLebesgue可測」 without Choice
6495pv 41 2 users -
表現可能関手とは普遍性のことである
5957pv 9 -
微分ヤクザPの戦力確認
5820pv 22 -
0が自然数!?
5269pv 19 3 users