Lectures in Logic and Set Theory: Volume 2, Set Theory
1st Edition
Published on 2. December 2004
978-0-511-06028-1 (ISBN)
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.
Reviews / Votes
"many readers, especially those with a philosophical bent, will find this book a good choice for the classroom." - Richard E. Hodel, Duke UniversityMore details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Publishing group
Cambridge University Press
Target group
Professional and scholarly
College/higher education
Illustrations
Worked examples or Exercises
File size
3,28 MB
ISBN-13
978-0-511-06028-1 (9780511060281)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Book
07/2011
Cambridge University Press
€92.70
Shipment within 15-20 days
Book
02/2003
Cambridge University Press
€221.30
Shipment within 15-20 days
Person
Content
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.
