格值模型力迫法 |
| |
引用本文: | 沈复兴.格值模型力迫法[J].科学通报,1984,29(21):1286-1286. |
| |
作者姓名: | 沈复兴 |
| |
作者单位: | 北京师范大学数学系 |
| |
摘 要: | Robinson把Cohen力迫法引进模型论,得到一些有趣的结果。本文把力迫法引进格值模型论中。本文所用符号从文献2,3],并要求是可数语言,C是可数无限新常量集,值格L适合紧致性定理,满足性质(F_1)、(F_2),具有特征式△.理论T是指中和谐分组句子集。
|
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《科学通报》浏览原始摘要信息 |
| 点击此处可从《科学通报》下载免费的PDF全文 |
|