Axiomatic Set Theory by G. Takeuti, W.M. Zaring.
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models. Our main concern will be the development of a unified theory that encompasses these technique...
Full description
Saved in: