The Boolean-valued model of the axiom system of GB
The author constructs a model \(\Delta^{(B)}\) satisfying the following properties. (1) \(\Delta^{(B)}\) is a Boolean-valued model of GB. (2) Assume GCH. If \(B\) satisfies ccc and \(| B|=2^{\aleph_ 0}\) then in \(\Delta^{(B)}\) holds GCH. (3) The maximum and minimum principle is true in \(\Delta^{(B)}\). (4) \(\Delta^{(B)}\) is a Boolean-valued model of QM.
scientific article; zbMATH DE number 20161