王雪生 邱玉文 秦克云 金继伟

co-regular集 模糊线序 正规 模型N 力迫方法 多项式时间可判定 P-Poind 稳定集 模糊偏序 可计算性 消解 难形容基数 滤子 理想 第二类能行性理论 易解 表示式 无界闭集 弱紧基数 模糊超积 可计算算子 量化单一带标公式 κ-scalae 可满足性 量化带标公式

中山大学逻辑与认知研究所 河南师范大学数学系 广东广州