n素元组猜想对于Peano公理组的条件独立性  

CONDITIONAL INDEPENDENCE OF n PRIME TUPLE CONJECTURE WITH RESPECT TO PEANO AXIOMS

作　　者：马鑫[1] 沈复兴[2] 

机构地区：[1]甘肃农业大学理学院,兰州730070 [2]北京师范大学数学科学学院,北京100875

出　　处：《北京师范大学学报（自然科学版）》2013年第4期333-334,共2页Journal of Beijing Normal University(Natural Science)

基　　金：甘肃农业大学盛彤笙科技创新基金资助项目(GSAV-STS-1325)

摘　　要：用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.It is shown by theoretical modeling that n prime tuple conjecture is logically independent of certain equivalent formulations of first order Peano axiom for system of natural numbers.

关 键 词：n素元组 Peano公理组 紧致性定理 模型 

分 类 号：O156[理学—数学]