位置：成果数据库 > 期刊 > 期刊详情页
三素元组猜想对于Peano公理组的条件独立性
  • ISSN号：0476-0301
  • 期刊名称：《北京师范大学学报：自然科学版》
  • 时间：0
  • 分类：O156[理学—数学;理学—基础数学] O211[理学—概率论与数理统计;理学—数学]
  • 作者机构：[1]北京师范大学数学科学学院,北京 100875, [2]甘肃农业大学科学学院,兰州730070
  • 相关基金：国家自然科学基金资助项目（60573009,60310213）
作者： 马鑫[1,2], 沈复兴[1]
关键词： 三素元组, Peano公理组, 紧致性定理, 模型, three prime tuples, Peano axioms, compactness theorem, model
中文摘要：

用模型论的方法证明了一类三素元组猜想独立于一公理组，此公理组在自然数系N上是与Peano算数公理组等价的。

英文摘要：

In this paper it was shown by model-theoretic methods that three-prime tuples conjecture was logically independent with respect to certain equivalent formulations of first-order Peano axioms for the system of natural numbers.

同期刊论文项目
基于回答集语义的约束逻辑程序设计
期刊论文 21 会议论文 16
同项目期刊论文
A characterization of answer sets for logic programs
Consistency Property of Finite FC-Normal Logic Programs
基于格的访问控制策略在RBAC中实现的形式化分析
H-KK映像及抽象凸（凹）性
基于整数小波变幻的准无失真图像压缩技术
UML模型的协调性检查
A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors
Quartet based phylogeny reconstruction with answer set programming
Recycling computed answers in rewrite systems for abduction
安全数据库隐蔽通道的标识技术与实例分析
中间逻辑中的良构范式
G3逻辑中的弱合取范式
基于Logic SQL的B2级安全机制的研究与设计
Eletronic Commerce Technology and its Security Problems
An Approach handling Conflicts in Authorization
Unfolding Partiality and Disjunctions in Stable Model Semantics
An Approach for Handling Conflicts in Authorization
一种超图类的全图存在性问题研究
基于安全标签的访问控制研究与设计
一种快速逃离局部极小点的BP算法
期刊信息
  • 《北京师范大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:北京师范大学
  • 主编：刘文彪
  • 地址：北京新外大街19号
  • 邮编：100875
  • 邮箱：JBNUNS@bnu.EDU.CN
  • 电话：
  • 国际标准刊号：ISSN：0476-0301
  • 国内统一刊号：ISSN：11-1991/N
  • 邮发代号:82-406
  • 获奖情况:
  • 1997年全国第二届科技期刊评比一等奖,1999年教育部优秀科技期刊二等奖,1999年首届国家期刊奖,中国期刊方阵“双高”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,英国科学文摘数据库,英国动物学记录,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:10672