alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
表現可能関手とは普遍性のことである
5909pv 9 -
モノイダル関手と豊穣圏について概説
4613pv 5 -
κ+κ=κの証明、どこに選択公理を使っている?
7657pv 30
-
「Xがススリン線のときX^2はc.c.c.でない」という命題と選択公理
2586pv 9 -
随伴がなんなのか説明を試みる
15205pv 21 1 user -
位相空間論は良いものだぞ 何しろ入門書読み終えたらその日から論文読むフェイズに入れる
10394pv 35 2 users -
圏論での積分(エンド)について
19670pv 43 4 users -
f^-1と∪, ∩の交換と圏論について
13868pv 60 3 users -
また知らぬ間に選択公理を使っている箇所が発覚してしまった。死のう
5170pv 28 -
【基礎の公理】∈の無限降下列を作るには従属選択公理ではなく可算選択公理があればよいか?
6882pv 39 1 user 1 -
食パンの耳「関数解析再入門」
3101pv 5 -
∀x¬(F(x)∈x) となるようなFを構成しなさい
2442pv 15 -
クラスありの拡張言語が生の集合論と証明能力が変わらない
9155pv 12 1 user -
直観主義,背理法と否定の導入
16144pv 33 1 user -
Pmax
4032pv 18 -
無限公理を否定したとき,選択公理は証明可能か?
10561pv 23 1 user -
Fermatの最終定理と選択公理
9663pv 22 1 user -
微分ヤクザPの戦力確認
5796pv 22 -
収束列が取れるか。単射と全射から全単射が作れるか。
11744pv 64 4 users -
【2011年記念】 x^2011-1 の因数分解
8558pv 22 3 users -
神殺しへの挑戦とその数学的解説
8558pv 11 1 user