
Lectures in Logic and Set Theory: Volume 2, Set Theory
Volume 2, Set Theory
George Tourlakis(Author)
Cambridge University Press
Published on 13. February 2003
Book
Hardback
592 pages
978-0-521-75374-6 (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
Target group
Professional and scholarly
College/higher education
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 39 mm
Weight
1100 gr
ISBN-13
978-0-521-75374-6 (9780521753746)
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

George Tourlakis
Lectures in Logic and Set Theory: Volume 2, Set Theory
E-Book
12/2004
1st Edition
Cambridge University Press
€61.99
Available for download
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.