The Boolean-valued model of the axiom system of GB
type: Item
instance of: scholarly article
title: The Boolean-valued model of the axiom system of GB
zbMATH Open document ID: 0738.03023
author: Na Li
published in: Chinese Science Bulletin
publication date: 1992-06-26T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03E40
zbMATH DE Number: 20161
zbMATH Keywords: axiom system GB
zbMATH Keywords: Boolean-valued model
zbMATH Keywords: axiom system QM
zbMATH Keywords: GCH
zbMATH Keywords: ccc
reviewed by: Eva Coplakova
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 20161