阿达里切娃,K.V。;V.A.戈尔布诺夫。;M.V.塞梅诺娃。 在连续非完全格上。 (英语) Zbl 1060.06014号 代数大学。 46,第1-2号,215-230(2001). 如果一个完备格(L)满足并连接连续,则称其为连续格。这种格在计算数学理论中也作为(lambda)-演算的模型出现,其中只有这些格的拓扑方面是必要的。《代数逻辑》11,203–242(1972);代数逻辑11,367–437(1972;兹比尔0285.02040),于。L.埃尔肖夫引入了所谓的(A)-空间来推广非完全连续性。在本文中,作者考虑了一些已知的事实,即连续格在非完备情况下也仍然成立。给出了代数或连续非完备格的几个例子。结果表明,有限生成的自由格是代数的。本文的最后一部分致力于研究有限呈现格上的Lawson拓扑。在格是代数的前提下,证明了它与对偶Lawson拓扑和区间拓扑是一致的。审核人:拉多米尔·哈拉什(奥洛穆克) 引用于2文件 MSC公司: 06B35号 连续格和偏序集,应用 关键词:连续晶格;有限呈现格;劳森拓扑;区间拓扑;非完备格 引文:Zbl 0285.02040号 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Adaricheva}等人,代数大学。46,编号1--2,215--230(2001;Zbl 1060.06014) 全文: DOI程序