摘要： This paper,using the model R△)-a generalized Boolean-valued model of the axiom sys- tem GB(see [3]),proves:(1)some properties of forcing;(2)two important theorems-Forcing Theorem and Generic Model Theorem(of GB);(3)discussing forcing with proper class.
中图分类号:
