Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics)
Lectures in Logic and Set Theory (Cambridge Studies in Advanced Mathematics)
ISBN: 9780521753746
出版社: Cambridge University Press
出版年: 2003-02-17
页数: 592
定价: USD 95.00
装帧: Hardcover
内容简介
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 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).