模态R_0代数的模态滤子

在模态R0代数中引入生成模态滤子的概念.证明模态R0代数中全体模态滤子之集可构成有界分配格.得到生成模态滤子为真滤子的条件.

R_0-代数的Stone拓扑表示定理

研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。