模型论弱力迫的证明论特征  

PROOF THEORETIC CHARATIZATION OF MODEL THEORETIC WEAK FORCING

作　　者：张玉平[1] 王世强[1] 

机构地区：[1]北京师范大学数学系

出　　处：《北京师范大学学报（自然科学版）》1996年第1期32-35,共4页Journal of Beijing Normal University(Natural Science)

基　　金：国家自然科学基金

摘　　要：推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。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.

关 键 词：模型论 模型论力迫 证明论 模型论弱力迫 

分 类 号：O141.4[理学—数学]