陕西师范大学学报(自然科学版)2007,Vol.35Issue(2):1-5,5.
命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集
Topology on the set of maximal consistent propositional theories and the Cantor ternary set
摘要
关键词
数理逻辑/极大和谐理论/紧Hausdorff标准拓扑/Cantor三分集/完备性分类
数理科学引用本文复制引用
王国俊,王伟,宋建社..命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集[J].陕西师范大学学报(自然科学版),2007,35(2):1-5,5.基金项目
国家自然科学基金重点资助项目(10331010) (10331010)