Lindenbaum定理的新证明方法及其应用 |
| |
作者姓名: | 万展翔 陈国龙 张龙 |
| |
作者单位: | 淮北师范大学数学科学学院,安徽淮北235000 |
| |
基金项目: | 安徽省高校自然科学研究重点项目(2005KJZD). |
| |
摘 要: | 模型论研究形式语言及其解释(模型)之间的关系,是形式语言的语法和语义的关系的理论。模型论的主要方法是构造模型。用新的模型论方法得到了几个相关结论,并且利用得到的结论证明了模型论中的Lindenbaum定理和高等代数中向量组极大线性无关组可以由任何一个线性无关组扩充的结论。
|
关 键 词: | 模型论方法 和谐理论 Lindenbaum定理 极大线性无关组 |
本文献已被 维普 等数据库收录! |
|