归纳环相关论文
证明了环理论扩充到具有量词消去理论时，其任意模型都是归纳环，而且带有一阶可定义序关系的环理论扩充到具有量词消去时，其模型是双向......
用模型论方法证明了: 对于整数环I及每个正整数n及每一可能类型的n素元组而言,存在不可数无限多个其1阶性质互不全同的含有无限多......
