您好，欢迎访问甘肃省农业科学院 机构知识库！
甘肃省农业科学院机构知识库

全部

  • 全部
  • 标题
  • 学者
  • 机构
  • 关键词

一类特殊的双向归纳环

文献类型： 中文期刊

作者： 马鑫 1 ; 王来 2 ;

作者机构： 1.甘肃农业大学理学院

2.甘肃省农业科学院

关键词： 双向归纳环;量词消去;双向归纳模型

期刊名称： 首都师范大学学报(自然科学版)

ISSN： 1004-9398

年卷期： 2011 年 32 卷 04 期

页码： 11-13

摘要： 证明了在语言L={+,.,0,1}下,带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环,进而得出一类特殊的双向归纳模型.

  • 相关文献
作者其他论文 更多>>
置顶
购物车
反馈

© 京ICP备09089781号-29 主办单位：甘肃省农业科学院

学术资源： 中国农业科学院 农业专业知识服务系统 农科联盟资源共建共享平台 中国农业科技文献与信息服务平台 中国农业期刊集成服务平台