无零因子幺环相关论文
证明了一些特殊类型的环不能在一阶形式语言L中有限公理化....
模型论中紧致性定理在代数中有很广泛的应用.文章用紧致性定理证明了,若L中的理论T有任意大特征的无零因子幺环模型,则T有特征为0......