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