新規作成
Alwe
74
4421
@ptykes
91
Followers
95
Follow
ホーム
記事
7
本
0
高評価
全てのカテゴリ
作成日順
評価順
大学数学基礎
解説
でぃぐ
2023年3月12日
無限Hedetniemiの予想の反例
集合論
,
グラフ理論
,
無限組合せ論
4
0
169
0
文献あり
大学数学基礎
解説
でぃぐ
2023年3月11日
ランダム強制法はKnasterの性質を満たす (The random forcing satisfies the Knaster property)
集合論
,
強制法
3
0
140
0
文献あり
大学数学基礎
解説
でぃぐ
2023年2月19日
超フィルター全体の集合の上のRudin-Keisler順序が全順序でないことの証明
集合論
,
ウルトラフィルター
,
Rudin-Keisler順序
5
0
125
0
文献あり
大学数学基礎
解説
arakur
2023年1月24日
閉包作用素でみる数学的構造
普遍代数学
,
順序理論
,
位相空間論
7
0
1275
0
文献あり
大学数学基礎
解説
でぃぐ
2022年12月31日
Keisler-Shelahの定理の応用――あるいは、牛刀割鶏
モデル理論
,
集合論
,
超冪
2
0
225
0
文献あり
エンタメ
解説
Μίττον
2022年12月26日
pilin kiwen pi ma Katekoli lon toki pona
2
0
79
0
大学数学基礎
解説
K.Hirata
2022年12月24日
嘘記事書いてすみませんでした!
圏論
,
加法圏
,
2圏論
2
0
309
0
文献あり
大学数学基礎
解説
duyaa
2022年12月22日
Independent Sets and the Continuum Hypothesis
集合論
,
記述集合論
1
0
113
0
文献あり
大学数学基礎
解説
Re_menal
2022年12月12日
∞-groupoid は空間である ~Joyal の拡張定理の応用とその証明~
圏論
,
無限圏
6
0
734
0
文献あり
大学数学基礎
解説
Μίττον
2022年12月5日
Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である
圏論
2
0
172
0
大学数学基礎
解説
くろの
2022年12月1日
極限と余積の交換
圏論
2
0
400
0
文献あり
大学数学基礎
解説
K.Hirata
2022年11月30日
前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手
圏論
,
加法圏
,
モナド
3
0
372
0
大学数学基礎
解説
sh
2022年11月23日
定値関手と定値関手のコンマ圏は圏の積である
圏論
,
普遍性
,
大学数学
5
0
176
0
文献あり
大学数学基礎
解説
あお
2022年9月23日
本質部分加群の圏論的特徴づけ Part1
圏論
,
ホモロジー代数
,
加群論
6
0
291
1
大学数学基礎
解説
duyaa
2022年6月1日
Recreational Choicelessness
集合論
,
選択公理
3
0
40
0
文献あり
大学数学基礎
解説
spectrum
2022年5月16日
トポスに関する備忘録1
圏論
,
トポス
,
備忘録
1
0
136
0
文献あり
大学数学基礎
解説
bd
2022年5月13日
Kuratowski-Mrówkaの定理(射影の閉性によるコンパクト性の特徴づけ)
ジェネトポ
,
位相空間論
1
0
393
1
現代数学
解説
merliborn
2022年4月28日
二分木にまつわる不思議な等式の話
普遍代数学
,
データ構造
,
半環
4
0
152
0
文献あり
大学数学基礎
解説
Re_menal
2022年2月13日
ウリゾーンの補題
位相空間論
9
0
3273
0
文献あり
大学数学基礎
解説
⊥
2022年1月14日
哲学的視点からの直観主義論理入門 [後編]
論理学
,
直観主義論理
,
証明論的意味論
6
0
857
0
文献あり
読み込み中...
読み込み中