Lectures in Logic and Set Theory: Volume 2, Set Theory

ISBN-13: 9780521753746 / Angielski / Twarda / 2003 / 592 str.

George J. Tourlakis

Opis

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).

Recenzje

"many readers, especially those with a philosophical bent, will find this book a good choice for the classroom." - Richard E. Hodel, Duke University

Spis treści

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.