薛锐.有限可换主理想环上模理论可判定性及其复杂性[J].数学研究及应用,1997,17(3):437~440
有限可换主理想环上模理论可判定性及其复杂性
The Decidability and Complexity for Theories of Modules on Finitely PI Rings
投稿时间：1994-06-20  
DOI：10.3770/j.issn:1000-341X.1997.03.022
中文关键词:  n－初等等价  Ehrenfeucht Game  可判定性  复杂性
英文关键词:n-elementary equivalent  Ehrenfeucht Game  decidability  computational complexity.
基金项目:山西省自然科学基金资助.
作者单位
薛锐 山西师范大学计算中心 
摘要点击次数: 2006
全文下载次数: 2105
中文摘要:
      本文利用初等等价的工具，引用Ｅｈｅｎｆｅｕｃｈｔ Ｇａｍｅ理论，证明了有限可换主理想环上模的理论是可判定的，并且判定过程的计算复杂性上界为２ｃｎ２．
英文摘要:
      By making use of Ehrenfeucht Game theory, we give a successful procedure to decide the theories of modules on finitely principal ideal (PI) rings, and also the decision process upper bounds 2cn２.
查看全文  查看/发表评论  下载PDF阅读器
  版权所有 《数学研究及应用》编辑部
主办单位：大连理工大学，中国工业与应用数学学会
单位地址：大连市甘井子区凌工路2号 大连理工大学创新园大厦A1112室 邮编 ：116024
服务热线：86-411-84707392 Email：jmre@dlut.edu.cn
本系统由北京勤云科技发展有限公司设计
由于安全因素，早期的浏览器无法登陆，推荐使用IE10, IE11，Google，火狐，360新版本浏览器登录