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

PROOF THEORETIC CHARATIZATION OF MODEL THEORETIC WEAK FORCING

推广形式的模型论弱力迫关系适合Ｇｅｎｔｚｅｎ证明论的一些右规则，因而模型论弱力迫关系可以用证明论性质刻画。

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.