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