Follow

Cohen強制法$\mathbb{P}=\{p\mid p\colon\subseteq\omega\to\{0,1\},\lvert\operatorname{dom}(p)\rvert<\omega\}$で順序が$p\leq q\iff q\subseteq p$という定義なのは「そういうもの」としか認識してなかったけど,よく考えたらCantor空間における開基の包含関係だと思えば自然な向きなんですね(今更気付いた)

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.