000 00959cam a2200241 i 4500
999 _c2659
_d2659
001 3140
005 20200720125129.0
008 780623s1977 enk b 001 0 eng
020 _a0198531680 :
040 _cDLC
082 0 0 _a511.3/2
_219
_bB4331
100 1 _aBell, J. L.
245 1 0 _aBoolean-valued models and independence proofs in set theory /
_c J. L. Bell.
260 _aOxford :
_bClarendon Press,
_c1977.
300 _axviii, 126 p.
_c24 cm.
500 _aIncludes indexes.
650 0 _aAxiomatic set theory.
650 0 _aIndependence (Mathematics)
650 0 _aAlgebra, Boolean.
650 0 _aModel theory.
942 _cBK
505 0 _a1. 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