Chinese Quarterly Journal of Mathematics ›› 1996, Vol. 11 ›› Issue (4): 50-53.

Previous Articles     Next Articles

Forcing  with  Proper  Classes

  

  1. Department   of  Politics,Henan    University,Kaifeng,475001
  • Received:1995-09-14 Online:1996-12-30 Published:2024-12-19

Abstract: 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.


Key words: forcing, easton product, Boolean-value

CLC Number: