关于普雷斯特利空间的超空间注解
摘要：斯通空间的Vietoris空间在模态逻辑的代数方法中起着重要作用。当将其推广到正模态逻辑时，基于Priestley空间上的各种拓扑和拓扑化闭集超空间的机制存在各种相关超空间构造。许多作者考虑了Priestley空间的超空间及其在正模态逻辑的代数方法中的应用。采用了范畴论、无点拓扑学和Priestley对偶的混合技术。我们的目标是提供一个统一的方法来研究这个领域，只需要对Priestley对偶和相关自由构造的分配格有基本的了解。
作者：G. Bezhanishvili, J. Harding, P. J. Morandi
论文ID：2207.03604
分类：General Topology
分类简称：math.GN
提交时间：2022-11-22