一、数理逻辑基础理论研究 1，“可选择性公理”在ZF公理化体系中的独立性及其模型分析2，基于高阶逻辑的无穷集合构造方法研究3，同构分类在模型论中的应用及推广4，布尔代数完备性与紧致性定理的新证明5，基础公理化系统中“强无穷公理”的相对可满足...
回顶部
