摘要
证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环.
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.
出处
《北京师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2008年第2期146-148,共3页
Journal of Beijing Normal University(Natural Science)
基金
国家自然科学基金重点资助项目(19931020)
关键词
归纳环
双向归纳环
量词消去
inductive rings
bi-inductive rings
quantifier elimination
