安徽省高校省级自然科学研究项目(2005KJZD)
- 作品数：6 被引量：1H指数：1
- 相关作者：陈国龙万展翔张龙刘亮亮更多>>
- 相关机构：淮北师范大学宿州学院更多>>
- 发文基金：安徽省高校省级自然科学研究项目更多>>
- 相关领域：理学更多>>
- 紧致性定理在群论中的应用被引量：1
- 2014年
- 文章用模型论中的紧致性定理证明了若L中理论T有任意可数阶的Abel群模型,则T有无扭Abel群模型;若一个语句φ在任意一个无扭Abel群中真,则对任意大的自然数n,存在自然数m>n,使φ在m阶Abel群中真.最后证明了无扭Abel群不能有限公理化.
- 万展翔陈国龙
- 关键词：模型论紧致性定理
- 模型论中有关代数闭域的一个性质
- 2013年
- 模型论是数理逻辑的主要分支之一,其在近世代数、数论以及拓扑学中有着广泛的应用.本文给出了任意一个代数闭域G的性质,并给予了证明.
- 张龙陈国龙万展翔
- 关键词：代数闭域
- 有关环的有限可公理化问题
- 2013年
- 证明了一些特殊类型的环不能在一阶形式语言L中有限公理化.
- 万展翔陈国龙张龙
- 关键词：整环除环
- 上三角无限方阵的可逆性
- 2017年
- 在复数域上,研究了无限上三角方阵的逆,给出复数域上无限上三角方阵可逆的判定条件,以及具有唯一双侧逆方阵的充分条件.
- 刘亮亮陈国龙
- 关键词：复数域
- Lindenbaum定理的新证明方法及其应用
- 2013年
- 模型论研究形式语言及其解释(模型)之间的关系,是形式语言的语法和语义的关系的理论。模型论的主要方法是构造模型。用新的模型论方法得到了几个相关结论,并且利用得到的结论证明了模型论中的Lindenbaum定理和高等代数中向量组极大线性无关组可以由任何一个线性无关组扩充的结论。
- 万展翔陈国龙张龙
- 关键词：极大线性无关组
- 模型论力迫法在代数中的一个应用
- 2013年
- 力迫法是公理集合论研究中构造扩充模型的一种重要方法。首先用力迫法对相关文献中的定理进行了推广,而后给出了代数封闭除环的概念,并通过给出的概念用模型论力迫法证明了每个可数除环A都可扩张为一个可数的代数封闭除环。
- 张龙陈国龙万展翔
- 关键词：模型论力迫法
