推理闭包空间的分离性 (2012年)

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