期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
三素元组猜想对于Peano公理组的条件独立性
1
作者 马鑫 沈复兴 《北京师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第4期360-361,共2页
用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.
关键词 三素元组 Peano公理组 紧致性定理 模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部