「集合論」に関する記事の一覧 | Mathlog

集合論

Contributors 15

トレースする

Contributors 15

最近の人気記事

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

Grothendieck宇宙のーと

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

全 34 記事

解説

大学数学以上

by

at

2022年06月01日

Recreational Choicelessness

集合論，選択公理

21

3

文献あり

解説

大学数学以上

by

at

2020年12月20日

Mathias強制法入門

集合論，強制法，基数不変量

151

3

解説

大学数学以上

by

at

2021年04月12日

Chapter 2 Set Theory

81

3

解説

大学数学以上

by

at

2022年12月31日

Keisler-Shelahの定理の応用――あるいは、牛刀割鶏

集合論，モデル理論，超冪

145

2

文献あり

議論

大学数学以上

by

at

2021年01月30日

Domatic partitions with the property of Baire

集合論，グラフ理論，記述集合論

39

2

文献あり

議論

大学数学以上

by

at

2021年04月04日

メモ：Shulmanの『圏論のための集合論』と推移的モデル

圏論，集合論，モデル理論

101

2

文献あり

議論

大学数学以上

by

at

2021年10月15日

Above Borel, Below Lebesgue

集合論，測度論，記述集合論

24

1

文献あり

解説

大学数学以上

by

at

2022年12月22日

Independent Sets and the Continuum Hypothesis

集合論，記述集合論

94

1

文献あり

解説

大学数学以上

by

たじゅまる

at

2020年12月20日

Bernsteinの定理の証明：単射単射があれば全単射

38

1

解説

大学数学以上

by

at

2021年07月18日

Fodor's train in the continuum

集合論，順序

36

1

文献あり

解説

大学数学以上

by

at

2020年11月21日

閉包と導集合

574

1

議論

大学数学以上

by

at

4時間前

直積位相の基底

集合論，位相空間論

17

0

文献あり

質問

大学数学以上

by

ぜっとばー

at

2021年03月30日

２関数の連結性についての質問

集合論，関数，連結

13

0

文献あり

解説

大学数学以上

by

めいぜんおーえす

at

2021年01月03日

naive comprehension axiom が矛盾することをCoqで実装してみた

集合論，Coq

47

0

文献あり