您的位置： 专家智库 > >

张龙

作品数：5 被引量：0H指数：0
供职机构：淮北师范大学数学科学学院更多>>
发文基金：安徽省高校省级自然科学研究项目更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 5篇中文期刊文章

领域

  • 5篇理学

主题

  • 4篇模型论
  • 2篇代数
  • 2篇定理
  • 2篇除环
  • 1篇代数闭域
  • 1篇整环
  • 1篇数学
  • 1篇数学归纳
  • 1篇数学归纳法
  • 1篇力迫法
  • 1篇零因子
  • 1篇逻辑原理
  • 1篇命题
  • 1篇极大线性无关...
  • 1篇公理
  • 1篇公理化
  • 1篇归纳法

机构

  • 5篇淮北师范大学

作者

  • 5篇陈国龙
  • 5篇张龙
  • 4篇万展翔

传媒

  • 2篇佳木斯大学学...
  • 2篇长江大学学报...
  • 1篇洛阳师范学院...

年份

  • 5篇2013
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
数学归纳法的逻辑原理及其在模型论中的应用
2013年
本文系统地介绍了数学归纳法的逻辑原理以及表现形式.模型论是一门理论性很强的学科,模型论中的很多命题和定理的证明很繁琐、复杂,而数学归纳法为这些证明提供了一个合理、思路清晰并且利于理解的证明过程.
张龙陈国龙
关键词：数学归纳法逻辑原理模型论定理命题
模型论中有关代数闭域的一个性质
2013年
模型论是数理逻辑的主要分支之一,其在近世代数、数论以及拓扑学中有着广泛的应用.本文给出了任意一个代数闭域G的性质,并给予了证明.
张龙陈国龙万展翔
关键词：代数闭域
有关环的有限可公理化问题
2013年
证明了一些特殊类型的环不能在一阶形式语言L中有限公理化.
万展翔陈国龙张龙
关键词：整环除环
Lindenbaum定理的新证明方法及其应用
2013年
模型论研究形式语言及其解释(模型)之间的关系,是形式语言的语法和语义的关系的理论。模型论的主要方法是构造模型。用新的模型论方法得到了几个相关结论,并且利用得到的结论证明了模型论中的Lindenbaum定理和高等代数中向量组极大线性无关组可以由任何一个线性无关组扩充的结论。
万展翔陈国龙张龙
关键词：极大线性无关组
模型论力迫法在代数中的一个应用
2013年
力迫法是公理集合论研究中构造扩充模型的一种重要方法。首先用力迫法对相关文献中的定理进行了推广,而后给出了代数封闭除环的概念,并通过给出的概念用模型论力迫法证明了每个可数除环A都可扩张为一个可数的代数封闭除环。
张龙陈国龙万展翔
关键词：模型论力迫法
全选 清除 导出
共1页<1>
聚类工具0