考えている normal filter のどんな元をもってきても、tail をキャッチできている ω 列はその filter についての Prikry 列、というやつの議論をみていたが、基本的にやはり測度の分割だ、という気分になります。2026-10-29