新規作成
集合論
使用者数
17
フォロワー数
8
Home
Articles
Books
全てのカテゴリ
作成日順
評価順
解説
...
でぃぐ
5月16日
ランダム強制法はomega^{omega_1} boundingになりえる
集合論
,
強制法
3
0
118
0
文献あり
解説
...
でぃぐ
3月31日
完備ブール代数の商ブール代数は必ず完備?
集合論
,
ブール代数
4
0
118
2
解説
...
でぃぐ
3月12日
無限Hedetniemiの予想の反例
集合論
,
グラフ理論
,
無限組合せ論
4
0
153
0
文献あり
解説
...
でぃぐ
3月11日
ランダム強制法はKnasterの性質を満たす (The random forcing satisfies the Knaster property)
集合論
,
強制法
3
0
117
0
文献あり
解説
...
でぃぐ
2月19日
超フィルター全体の集合の上のRudin-Keisler順序が全順序でないことの証明
集合論
,
ウルトラフィルター
,
Rudin-Keisler順序
5
0
113
0
文献あり
解説
...
でぃぐ
2022年12月31日
Keisler-Shelahの定理の応用――あるいは、牛刀割鶏
モデル理論
,
集合論
,
超冪
2
0
200
0
文献あり
解説
...
duyaa
2022年12月22日
Independent Sets and the Continuum Hypothesis
集合論
,
記述集合論
1
0
107
0
文献あり
解説
...
duyaa
2022年6月1日
Recreational Choicelessness
集合論
,
選択公理
3
0
22
0
文献あり
解説
...
Caramel
2022年5月5日
赤雪江第1章のまとめノート作ってみた
集合論
8
0
1743
0
文献あり
解説
...
電気魚
2021年11月30日
プログラミングで数学の素養がちょっぴり役に立った話
集合論
,
プログラミング
3
0
321
1
解説
...
めいぜんおーえす
2021年10月10日
単射のよくある間違い
集合論
,
単射
,
選択公理
4
0
342
0
文献あり
解説
...
Math-X
2021年4月11日
Chapter 2 Set Theory
集合論
2
0
88
0
議論
...
merliborn
2021年4月4日
メモ:Shulmanの『圏論のための集合論』と推移的モデル
モデル理論
,
圏論
,
集合論
2
0
126
0
文献あり
解説
...
ぱるま
2021年3月28日
「写像は二項関係の特殊なもの」という考え方によるwell-definedの解釈
代数学
,
集合論
6
0
1741
1
文献あり
議論
...
ぜっとばー
2021年2月21日
【解決済み】内部、閉包、境界についての質問
集合論
,
複素数
3
0
262
1
議論
...
めいぜんおーえす
2021年2月20日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
7
0
425
0
文献あり
議論
...
duyaa
2021年1月29日
Domatic partitions with the property of Baire
集合論
,
グラフ理論
,
記述集合論
2
0
39
0
文献あり
解説
...
めいぜんおーえす
2021年1月13日
外延性公理は等号の定義じゃないよ!
集合論
9
0
1167
3
解説
...
Alwe
2021年1月12日
ZFCのモデルの存在について
集合論
,
推移的モデル
,
絶対性
12
0
1010
0
文献あり
解説
...
Alwe
2020年12月24日
Christmas Suslin Tree
集合論
,
無限組合せ論
,
Suslin木
7
0
207
0
文献あり
読み込み中...
読み込み中