完全稠密二叉偏序理论可量词消去的新证明

• 作者: 傅莺莺 吴茂念 沈复兴
• 来源期刊: 北京师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 量词消去 完全稠密二叉偏序 代数素模型 简单闭性质
• 年，卷（期）: 2008,（2）
• 页码范围: 111-114
• 页数: 4页
• 分类号: O1
• 字数: 5262字
• 语种: 中文
• DOI: 10.3321/j.issn:0476-0301.2008.02.001

摘要

利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈复兴	北京师范大学数学科学学院	21	98	4.0	9.0
2	吴茂念	贵州大学计算机科学与技术学院	14	39	3.0	5.0
3	傅莺莺	北京师范大学数学科学学院	6	42	3.0	6.0