简介：给出了模型论在代数上的两个应用,得到了下列定理：定理A：如环R的任何有限生成子环均是局部环,则R是局部环.定理B：存在自然数的真扩张R使其具有下列特征：（1）虽然R有无限多零因子,但R中有无限多零因子,但R中的首1多项式的根的个数可以得到很好的控制.（2）R不仅将自然数的素数特征保留下来,而且还可在其上定义指数函数。
模型论在代数上的应用
