|
|||||
|
|
| 一类素数问题等对PA的条件独立性--对一些数论问题的逻辑讨论(Ⅳ) | |
| 作者姓名： | 王世强 别荣芳 |
| 作者单位： | 北京师范大学数学系,100875,北京;北京师范大学信息学院,100875,北京 |
| 基金项目： | 国家自然科学基金，国家自然科学基金 |
| 摘 要： | 用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论. |
| 关 键 词： | 2次函数素数值 多重完美数 Peano公理组 模型论 |
| 修稿时间： | 2004-03-19 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |