再论 infra-拓扑:逻辑与基本概念的澄清
逻辑
2021-01-07 v2
摘要
在本文中,我们遵循 Al-Odhari 引入的 infra-拓扑空间的定义。即,我们讨论包含空集和整个全集 X、同时关于有限交封闭(但不一定关于任意并甚至有限并封闭)的子集族。这一细微修改使我们能够区分新的子集类(infra-开、ps-infra-开和 i-真)。类似的 notion 在闭包的语言中也被讨论。最小 infra-开集类以及广义 infra-空间的思想也得到了研究。最后,我们利用上述引入的一些概念,得到了 infra-空间在模态逻辑意义上的刻画。
引用
@article{arxiv.2012.03558,
title = {Infra-topologies revisited: logic and clarification of basic notions},
author = {Tomasz Witczak},
journal= {arXiv preprint arXiv:2012.03558},
year = {2021}
}