一类特殊的归纳环及双向归纳环  

ONE TYPE PARTICULAR INDUCTIVE RINGS AND BI-INDUCTIVE RINGS

作　　者：马鑫[1] 王世强[1] 沈复兴[1] 

机构地区：[1]北京师范大学数学科学学院,北京100875

出　　处：《北京师范大学学报（自然科学版）》2008年第2期146-148,共3页Journal of Beijing Normal University(Natural Science)

基　　金：国家自然科学基金重点资助项目(19931020)

摘　　要：证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环.It is shown that if ring theory is added to a new theory which has quantifier elimination, any model of this new theory is an inductive ring. It is also shown that if ring theory with a first-order definable order relation is added to a new theory which has quantifier elimination, any model of this new theory is a hi- inductive ring.

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

分 类 号：O141.4[理学—数学] O159[理学—基础数学]