The Boolean-valued model of the axiom system of GB (Q1177277)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The Boolean-valued model of the axiom system of GB |
scientific article; zbMATH DE number 20161
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Boolean-valued model of the axiom system of GB |
scientific article; zbMATH DE number 20161 |
Statements
The Boolean-valued model of the axiom system of GB (English)
0 references
26 June 1992
0 references
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.
0 references
axiom system GB
0 references
Boolean-valued model
0 references
axiom system QM
0 references
GCH
0 references
ccc
0 references
