Set theory
著者
書誌事項
Set theory
(Cambridge studies in advanced mathematics, 83 . Lectures in logic and set theory / George Tourlakis ; v. 2)
Cambridge University Press, 2010, c2003
- : pbk
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 560-562) and index
"First paperback edition 2010" -- T.p. verso
内容説明・目次
内容説明
This two-volume 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.
目次
- 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」 より