路凌峰

作品数:3被引量:1H指数:1
导出分析报告
供职机构:淮北师范大学更多>>
发文主题:模型论定理同构超滤子形式语言更多>>
发文领域:理学更多>>
发文期刊:《佳木斯大学学报(自然科学版)》《洛阳师范学院学报》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-3
视图:
排序:
模型论方法在高等代数学中的一个应用被引量:1
《洛阳师范学院学报》2013年第2期40-42,共3页路凌峰 陈国龙 王振山 
模型论中的完全理论在代数学中有很广泛的应用,文章用完全理论证明域F上任意n维线性空间V均同构于F上n维数组行向量空间Fn,特别知,域F上两个有限维线性空间同构当且只当二者维数相等.
关键词:同构 初等等价 完全理论 模型完全理 
有关模型论的一个问题
《佳木斯大学学报(自然科学版)》2013年第1期152-153,共2页王振山 陈国龙 路凌峰 
模型论在抽象代数,数论等很多经典数学中有着广泛的应用.本文给出了任意实闭有序域H的一个性质,并给予了证明.
关键词:实闭有序域 佐恩引理 模型完全性 
lindenbaum定理又一个证明及其应用
《佳木斯大学学报(自然科学版)》2012年第6期929-930,共2页路凌峰 陈国龙 王振山 
lindenbaum定理在模型论及代数中有很广泛的应用,通过使用新的方法证明linden-baum定理并用这种新方法去证明向量组的线性无关部分组可扩充为极大线性无关组.
关键词:线性无关 和谐理论 超滤子 
检索报告 对象比较 聚类工具 使用帮助 返回顶部