摘要
本文第一部分利用完备格上的上拓扑子基,给出完全分配格与点格的若干新刻划,并讨论其上的 Scott 拓扑与 Lawson 拓扑的基与子基的构造.第二部分讨论点格与代数格的关系,证明了 L 是点格当且仅当 L 为代数格且 L^(op)为完全 Heyting代数,并证明了代数偏序集范畴与点格范畴是等价的.
出处
《数学学报(中文版)》
SCIE
CSCD
北大核心
1993年第4期491-497,共7页
Acta Mathematica Sinica:Chinese Series
基金
国家自然科学基金