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

作者：张龙; 陈国龙; 万展翔

来源：长江大学学报(自科版), 2013, (25): 18-19+4.

DOI：10.16772/j.cnki.1673-1409.2013.25.008

• 模型论
• 力迫法
• 可数除环
• 代数封闭除环 model theory
• forcing method
• generalized theorem
• countable division ring
• algebraically closed division ring

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

• 出版日期2013
• 单位淮北师范大学