-
また知らぬ間に選択公理を使っている箇所が発覚してしまった。死のう
5194pv 28 -
2018年圏論ツイート初め
5121pv 17 -
位相空間全体は集合を為すか
5053pv 19
-
Henkin 拡大でモデルの拡大列を作る証明と選択公理
4835pv 3 -
モノイダル関手と豊穣圏について概説
4663pv 5 -
Pmax
4062pv 18 -
完全列<0 → 0は自然数 → 中学生以下 → ホモ → 0>
3363pv 14 -
可算全順序集合が有理数体の通常の順序の部分順序になること
3156pv 2 1 user -
早朝四時の0次元類体論講義
3127pv 7 1 user -
食パンの耳「関数解析再入門」
3120pv 5 -
「Xがススリン線のときX^2はc.c.c.でない」という命題と選択公理
2604pv 9 -
∀x¬(F(x)∈x) となるようなFを構成しなさい
2461pv 15