| 有限弱力迫的布尔值模型表示 |
| |
| 引用本文： | 沈恩绍.有限弱力迫的布尔值模型表示[J].北京师范大学学报(自然科学版),1990(3):9-17. |
| |
| 作者姓名： | 沈恩绍 |
| |
| 作者单位： | 北京师范大学数学系 |
| |
| 摘 要： | 给出模型论中弱力迫概念的一个语法特征。然后在此基础上引入弱力迫的一种布尔值模型表示,并给出这种表示对f-伴随理论的一些应用。
|
| 关 键 词： | 布尔值模型 模型论 弱力迫 f－伴随 |
THE REPRESENTATION OF FINITE WEAK FORCING BY BOOLEAN-VALUED MODELS |
| |
| Shen Enshao.THE REPRESENTATION OF FINITE WEAK FORCING BY BOOLEAN-VALUED MODELS[J].Journal of Beijing Normal University(Natural Science),1990(3):9-17. |
| |
| Authors: | Shen Enshao |
| |
| Institution: | Department of Mathematics |
| |
| Abstract: | A syntactic characterization of the notion of model-theoretic weak forcing is given. A kind of representation of weak forcing is introduced by Boolean-valued models. Finally, some applications of such representations to the theory of f-companions are given. |
| |
| Keywords: | model-theoretic weak forcing Boolean-valued model f-companion |
| 本文献已被 CNKI 维普 等数据库收录！ |
