论文部分内容阅读
目的引入推理闭包空间的T0，T.T2，Sober以及Urysohn分离性，研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法，讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画，证明了T0，T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的，得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立，展现和丰富了逻辑学的拓扑性质。