TY - BOOK AU - Bell,J.L. TI - Boolean-valued models and independence proofs in set theory / SN - 0198531680 : U1 - 511.3/2 19 PY - 1977/// CY - Oxford PB - Clarendon Press KW - Axiomatic set theory KW - Independence (Mathematics) KW - Algebra, Boolean KW - Model theory N1 - Includes indexes; 1. Boolean-valued models and their basic properties 2. Forcing and some independence proofs 3. Automorphisms of v(b) and the independence of the axiom of choice 4. Generic ultrafilters and transitive models of zfc 5. Cardinal collapsing and some applications to the theory of boolean algebras ER -