期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

完全二叉树的量词消去 被引量：5

Quantifier Elimination for Complete Binary Trees
原文传递
导出
摘要 量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本 文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及 有限覆盖证明了完全二叉树的理论可以量词消去. The method of quantifier elimination has been one of the powerful tools in the computer science and algebraic model theory. In this article, we deal with the theory of complete binary trees. After givling a set of fomulas as the Basic Formulas, we use the layout formulas and finite covering to prove that the theory of complete binary trees admits quantifier elimination.
作者 刘吉强 廖东升 罗里波
机构地区 北方交通大学计算机与信息技术学院 北京师范大学数学系
出处 《数学学报（中文版）》 SCIE CSCD 北大核心 2003年第1期95-102,共8页 Acta Mathematica Sinica：Chinese Series
基金 国家自然科学基金资助项目(19571009) 北方交通大学基金资助项目
关键词 完全二叉树 量词消去 基本公式 分布公式 有限覆盖 Complete binary trees Quantifier elimination Basic formulas Layout for-mulas Finite covering
分类号 O144.4 [理学—基础数学]
  • 相关文献

参考文献11

  • 1Rose B.I., Rings which admit elimination of quantifiers, J. Symbolic Logic, 1978, 43(1): 92-112.
  • 2Berline Ch., Rings admit elimination of quantifiers, J. Symbolic Logic, 1981, 46(1): 56-58.
  • 3Berline Ch., Elimination of quantifiers for non semi-simple rings of characteristic p, Springer Lecture Notes,1980, 834: 10-20.
  • 4Berline Ch., Cherlin G., QE rings in characteristic pn, J. Symbolic Logic, 1983, 48(1): 140-162.
  • 5Boffa M., Macintyre A. , Point F., The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings, Springer Lecture Notes, 1980, 834: 20-30.
  • 6Weispfenning V., Quantifier elimination for distributive lattices and measure algebras, Zeitschrift M. L., 1985,31(1): 249-261.
  • 7Weispfenning V., Quantifier elimination for modules, Arch. Math. Logik Grundlag, 1985, 25(1): 1-11.
  • 8Chang C. C., Keisler H. J., Model theory, North-Holland Publ. Co., 1990 (Third Edition).
  • 9Wilfrid H., Model theory, Cambridge: Cambridge University Press, 1993.
  • 10Wang S. Q., Foundation of Model theory, Beijing: Science Press, 1987 (in Chinese).

同被引文献15

  • 1陈磊,沈复兴.完全二叉树模型中元素的CB秩[J].数学学报（中文版）,2005,48(2):245-250. 被引量：3
  • 2Tarski A. Arithmetical classes and types of Boolean algebras. Prelim. Rept., Bull. Am. Soc. ,55:1192- .
  • 3Stone M H. The representation theorem of Boolean algebra. Trans. Am. Math. Soc. 1936, 40:37-111.
  • 4Chang C C, Keisler H J. Model Theory. North-Holland, 3rd ed., 1990.
  • 5Marker D. Model Theory: An Interoduction. Springer-Verlag, 2002.
  • 6Wilfrid H. Model theory. Cambridge University Prass 1993.
  • 7Barwise X J and Feferman S. Model-theoretic Logic. New York Springer-Verleg 1985.
  • 8Schmerl J H. Coinductive No - Categorical Theorys. J.S.L 1990 Vol 55 No.3:1130-1137.
  • 9史念东.稳定性和单纯性理论,北京:科学出版社,2002.
  • 10Macpherson D and Schmerl J H. Binary Relational Structures having only Conutably many Nonisormorphic Substructures J.S.L 1991, vol 56 No.3:876-884

引证文献5

二级引证文献10

数学学报（中文版）
2003年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部