论文部分内容阅读
借助一阶逻辑演算有条件也把超限递归原理从序数类推广到具有良基关系的类上。
超限递归原理的推广
【摘 要】
：
借助一阶逻辑演算有条件也把超限递归原理从序数类推广到具有良基关系的类上。
【机 构】
：
郑州航院
【出 处】
：
河南科学
【发表日期】
：
1995年1期
其他文献
1 车用发动机企业2013年10月数据统计 2013年10月份,全国汽车生产1916028辆,环比微降0.55％,同比增长20.74％;销售1932684辆,环比微降0.16％,同比增长20.34％;2013年1-10月,全国汽车
客车燃料多元化发展重要组成部分的市场趋势，玉柴作为中国发动机行业翘楚，继续走在创新的前列．致力于打造专业天然气发动机满足市场需要。
使用自制的固体超强酸ＴｉＯ２／ＳＯ４＾２－催化合成丁二酸二丁酯，考察了催化剂活化温度等因素对丁二酸二丁酯收率的影响，在最佳反应条件下，丁二酸二丁酯收率为９１．７％。
日本紫花牵牛（Ｐｈａｒｂｉｔｉｓｎｉｌ，Ｖｉｏｌｅｔ）子叶完全展开后，短日照诱导前、诱导后和两个短日照间的长日照以及小于１２ｈ暗潮的单个光周期处理对植株的花芽分化都有一定的抑制作用。
本文通过一款轻型客车进气系统噪声优化设计的案例,详细介绍了轻型客车进气系统气动噪声、结构辐射噪声的优化过程和分析方法,提出了一些进气系统设计过程中需要关注的方向,
用分子生物学的实验方法对非胰岛依赖型糖尿病进行胰岛基因检测。从ＮＩＤＤＭ患者外周血的白细胞中提取ＤＮＡ，以胰岛素基因５’－末端上游的某一ＤＮＡ序列为引物，对特定的靶序列进行体外扩增，即ＴａｑＤＮＡ聚边式反
考虑一类退化抛物型方程，证明它的广义解的空间梯度的局部Ｈｏｌｄｅｒ连续性。
本文采用原位合成的方法，在熔体中加入钛铁与铸铁中的碳合成TiC强化铸铁材料．制备出了TiC质量比分别为0．5％、1．0％、1．5％和2．0％的Tic强化铸铁材料．并考察了强化铸铁的组织、力学性能和耐
利用Ｎｄ－Ｆｅ－Ｂ强永磁合金研制成多级悬挂带式除铁器，其综合性能优于目前国内外使用的电磁铁和铁氧体型除铁器，具有磁力强、轻便及除铁效果好等特点。
利用穆斯堡尔谱分析技术，配合热分析，扫描电镜，能量色散Ｘ射线分析等方法，对现代仿古钧瓷的釉料和胎料进行了分析与研究，得到了现代仿古钧瓷的釉料和胎料在烧制过程中的相变规律；并初