论文部分内容阅读
用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论.
一类素数问题等对PA的条件独立性——对一些数论问题的逻辑讨论（Ⅳ）
【摘 要】
：
用模型论方法证明了2次函数素数值问题及一种3重完美数问题对于PA的条件独立性,以及一些更一般的结论.
【机 构】
：
北京师范大学数学系,北京师范大学信息学院
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
2004年5期
【基金项目】
：
国家自然科学基金，国家自然科学基金
其他文献
为探究秦始皇陵兵马俑的原料来源和烧制技术,选取63个秦始皇陵2,3号坑的兵马俑样品和20个秦陵附近的黏土样品,2个耀州瓷胎样品,进行中子活化分析(NAA),测定每个样品中32种微
优化设计超导磁体,不仅可以从技术上保证超导磁储能系统运行的安全和可靠性,而且能够最大限度地降低制造成本.利用模拟退火算法优化在一定条件下的单螺管储能磁体的基本参数(
各盟行政公署、市人民政府，自治区各委、办、厅、局，各大企业、事业单位：自2005年以来，我区突发公共事件应急预案编制工作总体上进展比较顺利，应急预案体系基本形成，内容覆盖了自然
各盟行政公署、市人民政府，自治区各委、办、厅、局，各大企业、事业单位：根据《国务院关于印发（兽药管理条例）的通知》（国发[1997]48号）精神，1997年6月27日，自治区人民政府办公厅下发
各盟行政公署、市人民政府，自治区各委、办、厅、局，各大企业、事业单位：《2007年内蒙古自治区国民经济和社会发展计划》已经自治区十届人大五次会议审议通过，现下达给你们，请结合
近年来，库伦旗深入落实科学发展观，坚持“工业强旗、生态立旗、开放活旗、特色富旗、科教兴旗”发展战略，加快推进工业化、农牧业产业化和城镇化进程，各项工作取得了显著成效。
在对怀来盆地退耕还草过程中的3个阶段--撂荒地、草地和灌丛地植物群落样方调查的基础上,初步给出了其生态系统自然恢复中植物群落组分、群落外貌和结构、群落多样性和均匀度
各盟行政公署、市人民政府，各旗县人民政府，自治区各有关委、办、厅、局：为调动全区城乡住户调查记账户的积极性，确保城乡居民收入支出统计调查数据的全面、准确和及时，按照国家有
通过反投影分析方法,对XMM-Newton观测的Abell 1835的数据进行分析,研究星系团中心的X射线性质:温度成分及分布,冷流,强引力透镜(r≈153 kpc)的质量,星系团的总质量,投影质量