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

完全二叉树理论的可数模型及其胞腔性

THE COUNTABLE MODELS AND PROPERTIES OF THE THEORY OF COMPLETE BINARY TREE
下载PDF
导出
摘要 本文将在逻辑L_(w1,w)中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式,证明了完全二叉树理论的可数模型的胞腔性质。 By the logic Lω1,ω countable Models of the theory of complete binary trees are characterized up to isomorphism and Scott sentences are given. Cellular property of countable models has been decided.
作者 王世琪
机构地区 上海新锦江股份公司电脑中心
出处 《南京大学学报（数学半年刊）》 CAS 2007年第2期238-243,共6页 Journal of Nanjing University(Mathematical Biquarterly)
关键词 完全二叉树理论 Scott语句 超齐次结构 胞腔结构 the theory of complete binary trees, cellular, Ultrahomogeneous
分类号 O141.4 [理学—基础数学]
  • 相关文献

参考文献8

  • 1陈磊,沈复兴.完全二叉树理论的模型及性质[J].北京师范大学学报（自然科学版）,2004,40(2):177-180. 被引量：8
  • 2陈磊,沈复兴.完全二叉树模型中元素的CB秩[J].数学学报（中文版）,2005,48(2):245-250. 被引量：3
  • 3Wilfrid H. Model theory. Cambridge University Prass 1993.
  • 4Barwise X J and Feferman S. Model-theoretic Logic. New York Springer-Verleg 1985.
  • 5Schmerl J H. Coinductive No - Categorical Theorys. J.S.L 1990 Vol 55 No.3:1130-1137.
  • 6刘吉强,廖东升,罗里波.完全二叉树的量词消去[J].数学学报（中文版）,2003,46(1):95-102. 被引量：5
  • 7史念东.稳定性和单纯性理论,北京:科学出版社,2002.
  • 8Macpherson D and Schmerl J H. Binary Relational Structures having only Conutably many Nonisormorphic Substructures J.S.L 1991, vol 56 No.3:876-884

二级参考文献18

  • 1Steven B., Essential stability, Berlin: Springer-Verlag, 1996.
  • 2Chang C. C., Keisler H. J., Model theory, North-Holland Publ. Co., 1990 (Third Edition).
  • 3Shen F. X., Introduction to Model theory, Beijing: Beijing Normal University Press, 1995 (in Chinese).
  • 4Wang S. Q., Foundations of Model theory, Beijing: Beijing Science Press, 1987 (in Chinese).
  • 5Liu J. Q., Liao D. S. and Lou L. B., Quantifier elimination for complete binary trees, Acta Mathematica Sinca,Chinese Series, 2003, 46(1): 95-102.
  • 6Chen L., Shen F. X., The Models and properties of the theory of complete binary tree, Journal of Beijing Normal University (Natural Science), 2004, 40(2): 177-180 (in Chinese).
  • 7Rose B.I., Rings which admit elimination of quantifiers, J. Symbolic Logic, 1978, 43(1): 92-112.
  • 8Berline Ch., Rings admit elimination of quantifiers, J. Symbolic Logic, 1981, 46(1): 56-58.
  • 9Berline Ch., Elimination of quantifiers for non semi-simple rings of characteristic p, Springer Lecture Notes,1980, 834: 10-20.
  • 10Berline Ch., Cherlin G., QE rings in characteristic pn, J. Symbolic Logic, 1983, 48(1): 140-162.

共引文献10

南京大学学报（数学半年刊）
2007年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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