格值模型论中常量构作法的两个应用 |
| |
引用本文: | 王世强.格值模型论中常量构作法的两个应用[J].科学通报,1981,26(3):129-129. |
| |
作者姓名: | 王世强 |
| |
作者单位: | 北京师范大学数学系 |
| |
摘 要: | 本文是文献1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。
|
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《科学通报》浏览原始摘要信息 |
| 点击此处可从《科学通报》下载免费的PDF全文 |
|