Set theory
Author(s)
Bibliographic Information
Set theory
（Cambridge studies in advanced mathematics, 83 . Lectures in logic and set theory / George Tourlakis ; v. 2）
Cambridge University Press, 2010, c2003
- : pbk
Available at / 4 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 560-562) and index
"First paperback edition 2010" -- T.p. verso
Description and Table of Contents
Description
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.
Table of Contents
- 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.
by "Nielsen BookData"
