论文部分内容阅读
证明了在语言L={＋,.,0,1}下,带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环,进而得出一类特殊的双向归纳模型.
一类特殊的双向归纳环
【摘 要】
：
证明了在语言L={＋,.,0,1}下,带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环,进而得出一类特殊的双向归纳模型.
【机 构】
：
甘肃农业大学理学院,甘肃省农业科学院
【出 处】
：
首都师范大学学报：自然科学版
【发表日期】
：
2011年4期
其他文献
最后一次警报声过后，葛洲坝集团三峡指挥部的施爆员轻轻触动了一下红色按钮，电光闪烁中传来一声轰天巨响，脚下的大地微微颤动了一下。只一秒钟，在升腾的蘑菇状烟尘中，一个巨大的混
本文阐述在改革开放，市场经济条件下，经营过程低价中标，中介费，垫资承建，追回工程款，如何提高机关工作效能，改革劳动工资制度的处理对策，促进了企业发展业绩，供水电同行借鉴和教正。
5月13日晚，广西电网用电负荷节节拔高，20时38分定格在617．3万kW，一举越过了去年6月30日607万千瓦的历史最高记录。各地市用电量也比去年同期有大幅增长。
人在成长的路上，会有很多路口等待他选择。或许前方是荆棘，或许是沼泽。只要抱着一颗坚韧的心，哪个方向的重点都有阳光。在85后线路一线工人梁树炯的身上，付出和追寻让他有着超越
北海供电局举行的2011年行风监督员座谈会，向来自各个单位的行风监督员颁发了证书。受聘的行风监督员在座谈会上畅所欲言，就行风建设和提高服务水平提了建议，同时也摆出了供电部
一走进鄂西的大山深处，眼里立刻塞满的，除大山之外，就是那层层叠叠的板壁屋了。它们显然就是一群年轻力壮的小伙儿，那么刚强地站在山冈之上，挺拔、俊秀，招人喜爱。也显然是一群漂亮
以复杂环境＂承压富水砂土互层地层＂车站八导洞＂PBA＂暗挖施工工程建设为依托,开发了车站初支扣拱施工技术,避免了扣拱施工上部管线变形大的技术难点之一。通过工法、工艺的改进和
在实地调查的基础上,选用适宜的评价因子,运用"区内、区外景观复合叠加分析"的方法,对北京的东小口森林公园和上海的吴淞口炮台湾湿地森林公园进行景观视觉质量的对比评价,所
2010年,对合电人来说注定是一个播撒艰辛、收获喜悦的年景。这一年,在企业发展这个大舞台上,合电人以开拓创新、锐意进取的精神,将创先争优活动全面融入企业中心,攻坚克难、
以一起机车信号主机A机灭灯故障为例,通过对JT-CR2000信号主机A机灭灯故障原因进行分析,针对信号主机中A/B机切换电路存在的缺陷,提出了改进JT-CR2000信号主机电路的相对措施