×

在连续非完全格上。 (英语) Zbl 1060.06014号

如果一个完备格(L)满足并连接连续,则称其为连续格。这种格在计算数学理论中也作为(lambda)-演算的模型出现,其中只有这些格的拓扑方面是必要的。
《代数逻辑》11,203–242(1972);代数逻辑11,367–437(1972;兹比尔0285.02040),于。L.埃尔肖夫引入了所谓的(A)-空间来推广非完全连续性。
在本文中,作者考虑了一些已知的事实,即连续格在非完备情况下也仍然成立。给出了代数或连续非完备格的几个例子。结果表明,有限生成的自由格是代数的。
本文的最后一部分致力于研究有限呈现格上的Lawson拓扑。在格是代数的前提下,证明了它与对偶Lawson拓扑和区间拓扑是一致的。

MSC公司:

06B35号 连续格和偏序集,应用
PDF格式BibTeX公司 XML格式引用
全文: DOI程序