Order Continuity of Locally Compact Boolean Algebras

The main purpose of this paper is to exhibit the decisive role that order continuity plays in the structure of locally compact Boolean algebras as well as in that of atomic topological Boolean algebras. We prove that the following three conditions are equivalent for a topological Boolean algebra B: (1) B is compact; (2) B is locally compact, Boolean complete, order continuous; (3) B is Boolean complete, atomic and order continuous. Note that under the discrete topology any Boolean algebra is locally compact.     

IMTL代数上的素布尔滤子格

本文研究IMTL代数M上的索布尔滤子的运算性质。令FB（M）为膨上全体素布尔滤子集,FB（M）=FB（M）∪{φ},通过在集合FB（M）引进格并、交运算和逆序对合对应,证明了FB（M）构成一个拟布黎代数。进一步在FB（M）可定义一个伴随对,证明FB（M）也构成一个剩余格。     

局部R0-代数

文提出了局部R0-代数的概念,并给出了相应的等价条件,即(i)R0-代数L是局部的,(ii)(?)x∈L,ord(x)<∞或ord(-x)<∞,(iii)每—个真滤子是primary.另外,我们又证明了任一R0-代数是局部R0-代数的子直积.     

R_0代数及其基本结构

以Ｒ０－Ｌｉｎｄｅｎｂａｕｍ代数为背景,提出了较蕴涵格稍强的Ｒ０代数概念,在讨论了其基本性质的基础上给出了Ｒ０代数的两个等价系统,并从商代数的角度研究了Ｒｏ代数的基本结构．     

格蕴涵代数的LI-理想格及其素元刻画

运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集ф_(LI)(L)上定义了格运算■和■,蕴涵运算■以及伪补运算■,证明了(ф_(LI)(L),,■,■,■,{O},L)构成一个完备Heyting代数的结论.其次,利用运算固的性质给出了(ф_(LI)(L),,■,■,■,■,{O},L)成为Boolean代数的若干充要条件.最后,借助于L的素LI-理想之特性获得了格(ф_(LI)(L),,■,■,{O},L)中素元的若干等价刻画.     

Sequential Convergences on Boolean Algebras Defined by Systems of Maximal Filters

We study sequential convergences defined on a Boolean algebra by systems of maximal filters. We describe the order properties of the system of all such convergences. We introduce the category of 2-generated convergence Boolean algebras and generalize the construction of Novak sequential envelope to such algebras.