lkozima https://blog.hatena.ne.jp/lkozima/ kozima の雑記 https://lkozima.hatenadiary.org/ 数学 メモ 論理 Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning) 読んでたら、古典(様相)論理の代数と空間の双対性の話がきれいにまとまってて目から鱗が落ちたというか、初めて眼鏡をかけたときのように視界がくっきりした気がしたので*1忘れないうちにまとめ。 だいたいの流れ まず、簡単に示せる事実として、有限なブール代数は適当な集合の冪集合が(包含関係に関して)なす束に同型となることが知られています。具体的には、与えられたブール代数の atom 全体の集合を考えればいいだけです。では、無限ブール代数についてはどう… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flkozima.hatenadiary.org%2Fentry%2F20090510%2F1241971584" title=" two kinds of duality - kozima の雑記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-05-10 01:06:24 rich https://lkozima.hatenadiary.org/entry/20090510/1241971584 1.0 100%