Cambridge Studies in Advanced Mathematics: Lectures in Logic and Set Theory: Volume 2, Set Theory (Hardcover)

George Tourlakis; Tourlakis George; Bela Bollobas
Cambridge University Press
9780521753746
0-521-75374-0

Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides.

read more…

a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).