|
|||||
|
|
| 模型论弱力迫的证明论特征 | |
| 引用本文： | 张玉平 王世强. 模型论弱力迫的证明论特征[J]. 北京师范大学学报(自然科学版), 1996, 32(1): 32-35 |
| 作者姓名： | 张玉平 王世强 |
| 作者单位： | 北京师范大学数学系 |
| 摘 要： | 推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。 |
| 关 键 词： | 模型论 模型论力迫 证明论 模型论弱力迫 |
PROOF THEORETIC CHARATIZATION OF MODEL THEORETIC WEAK FORCING |
|
| Zhang Yuping, Wang Shiqiang. PROOF THEORETIC CHARATIZATION OF MODEL THEORETIC WEAK FORCING[J]. Journal of Beijing Normal University(Natural Science), 1996, 32(1): 32-35 | |
| Authors: | Zhang Yuping Wang Shiqiang |
| Abstract: | It is proved that a generalized form of model theoretic weak forcing satisfies some right inference rules of Gentzen style proof theory.This implies that Robinson's weak forcing can be defined in terms of proof theory. |
| Keywords: | model theory model theoretic forcing proof theory |
| 本文献已被 CNKI 维普 等数据库收录！ | |