首页> 中文期刊>北京师范大学学报：自然科学版 >完全稠密二叉偏序理论可量词消去的新证明

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《北京师范大学学报：自然科学版》|2008年第2期|111-114|共4页
作者
傅莺莺; 沈复兴; 吴茂念;
展开▼
作者单位

北京师范大学数学科学学院;

贵州大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类模型理论;非线性泛函分析;
关键词
量词消去; 完全稠密二叉偏序; 代数素模型; 简单闭性质;
入库时间 2022-08-20 13:07:24

相似文献

中文文献
外文文献
专利

1. 完全稠密二叉偏序理论的量词消去(Ⅰ) [J] . 陈磊 ,沈复兴 . 北京师范大学学报：自然科学版 . 2008,第6期
2. 完全分叉树理论可量词消去的新证明 [J] . 傅莺莺 ,沈复兴 ,吴茂念 . 南京大学学报（数学半年刊） . 2007,第002期
3. 完全分叉树理论可量词消去的新证明 [J] . 傅莺莺 ,沈复兴 ,吴茂念 . 南京大学学报：数学半年刊 . 2007,第002期
4. 完全稠密二叉偏序理论的可数模型 [J] . 陈磊 ,沈复兴 . 北京师范大学学报：自然科学版 . 2007,第2期
5. 量词消去法在完全理论证明中的应用 [J] . 陈国龙 . 淮北煤师院学报：自然科学版 . 1998,第002期
6. 二叉树(BT)性质n0=n2+的归纳证明与其几何形象证明 [C] . Cai Anshi ,蔡安石 . 第17届全国计算机新科技与计算机教育学术大会 . 2006
7. 面向传值进程的模态逻辑与实整混合优化理论的量词消去 [A] . 薛锐 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号