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

THE CONDITIONAL INDEPENDENCE OF THREE PRIME TUPLES CONJECTURE WITH RESPECT TO PEANO AXIOMS

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

机构地区：[1]北京师范大学数学科学学院

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

基　　金：国家自然科学基金资助项目(60573009,60310213)

摘　　要：用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系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.

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

分 类 号：O156[理学—数学] O211[理学—基础数学]