论文部分内容阅读
模型论研究形式语言及其解释（模型）之间的关系，是形式语言的语法和语义的关系的理论。模型论的主要方法是构造模型。用新的模型论方法得到了几个相关结论，并且利用得到的结论证明了模型论中的Lindenbaum定理和高等代数中向量组极大线性无关组可以由任何一个线性无关组扩充的结论。
Lindenbaum定理的新证明方法及其应用
【摘 要】
：
模型论研究形式语言及其解释（模型）之间的关系，是形式语言的语法和语义的关系的理论。模型论的主要方法是构造模型。用新的模型论方法得到了几个相关结论，并且利用得到的结论证明
【机 构】
：
淮北师范大学数学科学学院
【出 处】
：
长江大学学报自然科学版：理工（上旬）
【发表日期】
：
2013年8期
【基金项目】
：
安徽省高校自然科学研究重点项目（2005KJZD）.
其他文献
9月4日,二十国集团领导人第十一次峰会在杭州国际博览中心举行。中国国家主席习近平主持会议并致开幕辞。图为二十国集团成员和嘉宾国领导人、有关国际组织负责人步入会场。
【国际能源网】土库曼斯坦政府近日表示，在土巴尔坎州里海沿岸的屯尊阿达地区发现一座储量丰富的天然气田。土石油康采恩在井下6689～6695米的区间发现天然气的存在。
为研究带有裂纹损伤管道剩余寿命的计算方法,针对正常使用环境下的钢制管道提出了同时考虑变形和承载力要求的含裂纹管道的使用寿命模型,该模型包括2个阶段,即裂纹萌生阶段和
采用周期矩形脉冲序列和噪声作用下的单模激光增益模型，将脉冲信号通过傅利叶变换展开三角函数的形式作为输入信号，运用线性近似的方法计算得到了输出信号光强的功率谱和信噪比
近年来,伴随着世界经济的高速发展,世界环境问题日益严重,作为负责任的大国,中国政府高度重视环保问题,提出了科学发展观的战略部署,颁布了相关法律、法规。然而在法律、法规
【俄罗期卫星新闻网】在《中俄睦邻友好合作条约》签署15周年之际，俄罗斯卫星新闻网于7月16日推出了“中俄关系大事记”互动栏目。这项中文多媒体互动栏目介绍了1992年12月～201
介绍了一种研究酸牛奶变质过程的新方法。采用绿光激光器（532nm）对酸牛奶样品进行照射,所得激光光致发光光谱分别在752nm和851nm附近均有较强的峰,而伴随着酸牛奶的变质过程,85