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