Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
@Alwe
Alwe
67
2483
Follow
85
Followers
86
Traces
10
Follow
85
Followers
86
Traces
10
@ptykes
神奈川県町田市
未登録
Alwe_Logic
所属組織
高評価数順
新着順
7
Articles
0
Books
73
Goods
解説
大学数学以上
by
Alwe
at
2021年01月13日
ZFCのモデルの存在について
集合論
,
推移的モデル
,
絶対性
617
11
文献あり
解説
大学数学以上
by
Alwe
at
2020年12月25日
Christmas Suslin Tree
集合論
,
無限組合せ論
,
Suslin木
172
7
文献あり
解説
大学数学以上
by
Alwe
at
2020年12月21日
独立命題とはなにか
数理論理学
,
独立命題
744
11
解説
大学数学以上
by
Alwe
at
2020年11月12日
Craigの絡繰とその相対化
数理論理学
,
Craigの絡繰
,
再帰理論
71
5
文献あり
解説
大学数学以上
by
Alwe
at
2020年11月12日
無矛盾性順序に関する注意
数理論理学
,
第二不完全性定理
,
相対的無矛盾性
65
9
解説
大学数学以上
by
Alwe
at
2020年11月08日
Kreiselの反例
証明論
,
順序数解析
,
Kreiselの反例
230
6
解説
大学数学以上
by
Alwe
at
2020年11月07日
強制法によるCantorの定理の証明
集合論
,
強制法
,
Cantorの定理
584
18