MTL-代数的一个Cantor-Bernstein型定理

本文首先证明了MTL-代数上由Boolean元e诱导的商代数同构于区间代数[0,e],继而给出了完备MTL-代数的区间直积分解,最后建立了强完备MTL-代数上的Cantor-Bernstein定理。     

剩余格的弱布尔积表示

在剩余格L中,首先证明了因子同余是由布尔元所唯一生成的,继而证明了由B(L)的素滤子诱导的商代数是直不可分解的.其次,给出了剩余格L的弱布尔积表示,并证明了伴随表示的等价性.最后,证明了剩余格L的序素谱与其stalks的素谱基数和序同构.