Boolean-valued models and independence proofs in set theory /
Bell, J. L.
Boolean-valued models and independence proofs in set theory / J. L. Bell. - Oxford : Clarendon Press, 1977. - xviii, 126 p. 24 cm.
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
0198531680 :
Axiomatic set theory.
Independence (Mathematics)
Algebra, Boolean.
Model theory.
511.3/2 / B4331
Boolean-valued models and independence proofs in set theory / J. L. Bell. - Oxford : Clarendon Press, 1977. - xviii, 126 p. 24 cm.
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
0198531680 :
Axiomatic set theory.
Independence (Mathematics)
Algebra, Boolean.
Model theory.
511.3/2 / B4331
