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 |