推理闭包空间的分离性

• 作者: 伏文清 杨海龙 郭智莲
• 来源期刊: 西北大学学报（自然科学版）
• 学科: 数学
• 关键词: 推理闭包空间 结论闭集 结论开集 分离性
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 数理科学与信息科学
• 页码范围: 12-16
• 分类号: O189.1|O141.1
• 字数: 5923字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-274X.2012.01.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭智莲	陕西师范大学数学与信息科学学院	15	28	3.0	4.0
5	杨海龙	陕西师范大学数学与信息科学学院	26	97	7.0	9.0
6	伏文清	西安工业大学理学院	21	39	4.0	4.0