论文部分内容阅读
定义了完备弱模和链可分的概念,并且证明如下结果:(1)设L是完备格且conc(L)=concd(L),则conc(L)是Boole格当且仅当L是完备弱模的,并且θ∈conc(L),θ是链可分的.(2)设L是完备格,则conc(L)=concd(L)且conc(L)是Boole格当且仅当L是完备弱模的且θ∈conc(L),θ是链可分的.