摘要
本文主要证明了下面的结果,其中的定理1是Boole格完备化定理的推广,定理4是Boole格同态扩张定理的推广。定理1设有任意一个一般Boole格L,则存在一个且唯一一个备Boole格■与L到■内的一个同构f,满足:1)f将L的零元0映照到■的零元■;2)若a是L的子集s的上确界(或下确界),那末f(a)是■的子集f(S)的上确界(或下确界);3)对■的任一元ζ,都存在L的子集S,使■。
出处
《科学通报》
1986年第6期475-476,共2页
Chinese Science Bulletin
