Set theory

George Tourlakis

This two-volume 2003 work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. 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 will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.

「Nielsen BookData」より


  • Preface
  • 1. A bit of logic: a user's toolbox
  • 2. The set-theoretic universe, naively
  • 3. The axioms of set theory
  • 4. The axiom of choice
  • 5. The natural numbers
  • transitive closure
  • 6. Order
  • 7. Cardinality
  • 8. Forcing
  • Bibliography
  • List of symbols
  • Index.

「Nielsen BookData」より


書名 Set theory
著作者等 Tourlakis, George J.
Bollobas B.
Fulton W.
Katok A.
Kirwan F.
Sarnak P.
Simon B.
Totaro B.
Tourlakis George
シリーズ名 Cambridge studies in advanced mathematics
出版元 Cambridge University Press
刊行年月 2003
ページ数 xv, 575 p.
大きさ 24 cm
ISBN 0521753740
NCID BA60621917
※クリックでCiNii Booksを表示
言語 英語
出版国 イギリス