善良超フィルターの存在証明
Kunenの方法に沿って善良超フィルター（good ultrafilter）の存在を証明します。飽和モデルや超準解析に向けた準備となる構成です。
2026年 1件
2021年 1件
対角的交叉とFodorの補題
基数上のclub集合と対角的交叉の性質を準備し、定常集合についてのFodorの補題を証明します。
2016年 3件
LOTS(線形順序位相空間)の正規性
線形順序から定まる位相を持つ空間（LOTS）の正規性について解説するブログ記事です。
線形順序位相空間
線形順序と順序位相を定義し、線形順序位相空間の基本的な性質と部分集合について整理します。
オメガ1の位相的性質。
最小の非可算順序数ω1に順序位相を入れ、その特徴的な位相的性質を具体的な証明とともに紹介します。
2015年 1件
順序数の位相的重み
開基の最小濃度である位相的重みを、順序位相を入れた順序数について評価します。