完全分叉树理论可量词消去的新证明

• 作者: 傅莺莺 吴茂念 沈复兴
• 来源期刊: 南京大学学报(数学半年刊)
• 学科: 数学
• 关键词: 量词消去 完全二叉树 完全k-叉树 完全无穷叉树
• 年，卷（期）: 2007,（2）
• 页码范围: 204-212
• 页数: 9页
• 分类号: O141.4
• 字数: 4555字
• 语种: 中文
• DOI: 10.3969/j.issn.0469-5097.2007.02.004

摘要

利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.

作者信息

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