Lectures in Logic and Set Theory
Lectures in Logic and Set Theory
Volume 2: Set Theory
George Tourlakis, York University, Toronto
December 2004
2. Set Theory
Adobe eBook Reader
9780511060281
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).
- User-friendly extensive discussion of issues that arise at the interface of axiomatics and mathematical 'reality'
- Careful use of formal logic in proofs
- Advanced self-contained topics such as: internal models, absoluteness, induction and inductive operators, constructible universe, Cohen forcing
Reviews & endorsements
"many readers, especially those with a philosophical bent, will find this book a good choice for the classroom." - Richard E. Hodel, Duke University
Product details
December 2004Adobe eBook Reader
9780511060281
0 pages
0kg
This ISBN is for an eBook version which is distributed on our behalf by a third party.
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.
