论文部分内容阅读
用模型论方法证明了,在对于自然数系的Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者.此外,还宣布了一些其他结果.
Goldbach猜想对于Peano公理组的条件独立性--对一些数论问题的逻辑讨论(Ⅰ)
【摘 要】
：
用模型论方法证明了,在对于自然数系的Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者.此外,还宣布了一些其他结果.
【机 构】
：
北京师范大学数学系,
【出 处】
：
北京师范大学学报(自然科学版)
【发表日期】
：
2001年4期
其他文献
针对无线局域网(WLAN)系统中的宽带OFDM信号接收,提出了一种OFDM信号接收电路设计。设计的接收电路主要包括正交下变频电路和全直流耦合驱动电路两个部分,电路采用差分结构,
在以往的各类培训当中，统计显示只有40%的内容可以应用到工作中，一年后就只剩培训的15%。随着时间的推移，受训者可能保留和使用的培训内容会越来越少。因此，改善培训迁移效果成为
We report on an indium antimonide high electron mobility transistor with record cut-off frequency characteristics.For high frequency response it is important to
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
信息技术这门课程,在学生们还未接触这门课程时,对于这门课程还未有什么了解,会错误的认为这只是一门无异于其他学科的课程.但是经过学习后学生们会发现这不仅是一门课程,也
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
Growth and characterization of InGaN back barrier HEMTs structure with a compositionally step-graded
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥