模型论力迫法在代数中的一个应用

摘要

力迫法是公理集合论研究中构造扩充模型的一种重要方法。首先用力迫法对相关文献中的定理进行了推广,而后给出了代数封闭除环的概念,并通过给出的概念用模型论力迫法证明了每个可数除环A都可扩张为一个可数的代数封闭除环。