Mathlog
Alwe
Alwe
81
7780
@ptykes
ホーム
記事8
本0
現代数学解説
Alwe
2024年6月17日
コンパクトからHausdorffの連続全単射は同相であることの代数的な証明
圏論,代数学,位相空間論
5
0
818
0
文献あり
大学数学基礎解説
Alwe
2021年1月12日
ZFCのモデルの存在について
集合論,推移的モデル,絶対性
13
0
1849
0
文献あり
大学数学基礎解説
Alwe
2020年12月24日
Christmas Suslin Tree
集合論,無限組合せ論,Suslin木
7
0
332
0
文献あり
大学数学基礎解説
Alwe
2020年12月20日
独立命題とはなにか
数理論理学,独立命題
14
0
2155
1
大学数学基礎解説
Alwe
2020年11月12日
Craigの絡繰とその相対化
数理論理学,Craigの絡繰,再帰理論
5
0
233
0
文献あり
大学数学基礎解説
Alwe
2020年11月12日
無矛盾性順序に関する注意
数理論理学,第二不完全性定理,相対的無矛盾性
9
0
286
0
大学数学基礎解説
Alwe
2020年11月8日
Kreiselの反例
証明論,順序数解析,Kreiselの反例
6
0
392
0
大学数学基礎解説
Alwe
2020年11月7日
強制法によるCantorの定理の証明
集合論,強制法,Cantorの定理
22
0
1715
2
読み込み中...
読み込み中