Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
@fujidig
でぃぐ
43
1792
Follow
9
Followers
13
Traces
0
Follow
9
Followers
13
Traces
0
未登録
fujidig.github.io
未登録
所属組織
高評価数順
新着順
8
Articles
0
Books
4
Goods
解説
大学数学以上
by
でぃぐ
at
10日前
無限Hedetniemiの予想の反例
集合論
,
グラフ理論
,
無限組合せ論
66
4
文献あり
解説
大学数学以上
by
でぃぐ
at
11日前
ランダム強制法はKnasterの性質を満たす (The random forcing satisfies the Knaster property)
集合論
,
強制法
75
4
文献あり
解説
大学数学以上
by
でぃぐ
at
30日前
超フィルター全体の集合の上のRudin-Keisler順序が全順序でないことの証明
集合論
,
ウルトラフィルター
,
Rudin-Keisler順序
78
4
文献あり
解説
大学数学以上
by
でぃぐ
at
2022年12月31日
Keisler-Shelahの定理の応用――あるいは、牛刀割鶏
集合論
,
モデル理論
,
超冪
145
2
文献あり
解説
大学数学以上
by
でぃぐ
at
2021年07月04日
フィボナッチ数列の1項飛ばし数列の漸化式を作ろう ~C-finite数列への誘い~
数列
,
フィボナッチ数
,
組合せ論
612
16
文献あり
解説
大学数学以上
by
でぃぐ
at
2020年12月20日
Mathias強制法入門
集合論
,
強制法
,
基数不変量
151
3
解説
大学数学以上
by
でぃぐ
at
2020年12月13日
強いフビニの定理の独立性
集合論
,
測度論
,
ルベーグ積分
609
6
解説
大学数学以上
by
でぃぐ
at
2020年12月09日
反復Mathias強制により基数hが大きくなること
集合論
,
強制法
,
基数不変量
56
4