Lectures in Logic and Set Theory. Volume 2: Set Theory
George TourlakisVolume 83 in the series Cambridge Studies in Advanced Mathematics. Volume 2 of the book Lectures in Logic and Set Theory.
Volume 2, 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 constructive universe, numerous ways of viewing recursion and Cohen forcing).
Thể loại:
Tập:
83:2
Năm:
2003
In lần thứ:
1
Nhà xuát bản:
Cambridge University Press
Ngôn ngữ:
english
Trang:
593
ISBN 10:
0511068727
ISBN 13:
9780511068720
Loạt:
Cambridge Studies in Advanced Mathematics
File:
PDF, 2.13 MB
IPFS:
,
english, 2003