集合論
ホーム
記事
本
かぐら
かぐら
大学数学基礎解説
かぐら
17日前
述語論理 ⑤
1
0
74
1
初心者マーク
初心者
praton
praton
大学数学基礎解説
praton
24日前
Fodorの補題の亜種
2
0
162
0
文献あり
praton
praton
大学数学基礎解説
praton
28日前
順序位相=相対位相となる条件
1
0
100
0
かぐら
かぐら
大学数学基礎解説
かぐら
1月5日
命題論理 ①
1
0
103
0
初心者マーク
初心者
praton
praton
大学数学基礎解説
praton
2025年12月17日
無限次元線型空間の次元を計算しよう〜理論編〜
5
0
2581
0
AAG
AAG
エンタメ解説
AAG
2025年11月18日
アッカーマン集合論と2^√2について
1
0
149
0
初心者マーク
初心者
文献あり
大学数学基礎解説
bd
2025年11月13日
ベルンシュタインの定理とfunctional graph
3
0
404
0
あっとまーく
あっとまーく
大学数学基礎解説
あっとまーく
2025年10月29日
公理的集合論はやらなくてもよい
8
0
3347
1
初心者マーク
初心者
とーゆ
とーゆ
大学数学基礎解説
とーゆ
2025年8月8日
ラグランジュの定理を自明にしてみる
3
0
316
0
初心者マーク
初心者
大学数学基礎解説
一般化シンドローム
2025年8月3日
【超フィルター論 ①】超フィルターによる位相空間の定義・自由なコンパクトハウスドルフ空間
5
0
338
0
文献あり
おはぎ
おはぎ
大学数学基礎解説
おはぎ
2024年8月1日
整列集合の比較定理の証明
1
0
680
0
文献あり
虚珀しえる@悪い人
虚珀しえる@悪い人
大学数学基礎解説
虚珀しえる@悪い人
2024年4月5日
数学初心者が写像について学びを深める……
1
0
238
0
初心者マーク
初心者
文献あり
甘くないなっぽー
甘くないなっぽー
大学数学基礎解説
甘くないなっぽー
2024年3月27日
「十分大きい元」と「十分小さい元」に関するメモ
2
0
323
1
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2023年5月16日
ランダム強制法はomega^{omega_1} boundingになりえる
3
0
189
0
文献あり
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2023年3月31日
完備ブール代数の商ブール代数は必ず完備？
6
0
202
2
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2023年3月12日
無限Hedetniemiの予想の反例
4
0
225
0
文献あり
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2023年3月11日
ランダム強制法はKnasterの性質を満たす (The random forcing satisfies the Knaster property)
3
0
243
0
文献あり
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2023年2月19日
超フィルター全体の集合の上のRudin-Keisler順序が全順序でないことの証明
5
0
203
0
文献あり
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2022年12月31日
Keisler-Shelahの定理の応用――あるいは、牛刀割鶏
2
0
342
0
文献あり
duyaa
duyaa
大学数学基礎解説
duyaa
2022年12月22日
Independent Sets and the Continuum Hypothesis
1
0
153
0
文献あり
読み込み中