Alweの記事一覧 | Mathlog

@Alwe

Alwe

67

2483

Follow 85

Traces 10

Follow 85

Traces 10

@ptykes

神奈川県町田市

未登録

所属組織

解説

大学数学以上

by

at

2021年01月13日

ZFCのモデルの存在について

集合論，推移的モデル，絶対性

617

11

文献あり

解説

大学数学以上

by

at

2020年12月25日

Christmas Suslin Tree

集合論，無限組合せ論，Suslin木

172

7

文献あり

解説

大学数学以上

by

at

2020年12月21日

独立命題とはなにか

数理論理学，独立命題

744

11

解説

大学数学以上

by

at

2020年11月12日

Craigの絡繰とその相対化

数理論理学，Craigの絡繰，再帰理論

71

5

文献あり

解説

大学数学以上

by

at

2020年11月12日

無矛盾性順序に関する注意

数理論理学，第二不完全性定理，相対的無矛盾性

65

9

解説

大学数学以上

by

at

2020年11月08日

Kreiselの反例

証明論，順序数解析，Kreiselの反例

230

6

解説

大学数学以上

by

at

2020年11月07日

強制法によるCantorの定理の証明

集合論，強制法，Cantorの定理

584

18