Goldbach猜想等与PA的一些联系——对一些数论问题的逻辑讨论(Ⅱ)

• 作者: 王世强
• 来源期刊: 北京师范大学学报(自然科学版)
• 学科: 数学
• 关键词: Goldbach猜想 孪生素数猜想 Peano公理组 模型论
• 年，卷（期）: 2002,（2）
• 页码范围: 183-186
• 页数: 4页
• 分类号: O141.4
• 字数: 2768字
• 语种: 中文
• DOI: 10.3321/j.issn:0476-0301.2002.02.007

摘要

用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价).

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王世强	北京师范大学数学系	50	37	3.0	4.0