03439nam 22007092 450 991082917620332120160526112740.01-107-12857-91-280-41777-397866104177731-139-14854-00-511-18061-60-511-06659-70-511-06028-90-511-30271-10-511-61556-60-511-06872-7(CKB)1000000000017965(EBL)218144(OCoLC)808036212(SSID)ssj0000190854(PQKBManifestationID)11172047(PQKBTitleCode)TC0000190854(PQKBWorkID)10183664(PQKB)10432466(UkCbUP)CR9780511615566(MiAaPQ)EBC218144(Au-PeEL)EBL218144(CaPaEBR)ebr10070006(CaONFJC)MIL41777(PPN)26131100X(EXLCZ)99100000000001796520090914d2003|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierLectures in logic and set theoryVolume 2Set theory /George Tourlakis[electronic resource]Cambridge :Cambridge University Press,2003.1 online resource (xv, 575 pages) digital, PDF file(s)Cambridge studies in advanced mathematics ;83Title from publisher's bibliographic system (viewed on 05 Oct 2015).0-521-16848-1 0-521-75374-0 Includes bibliographical references and indexes.Cover; Half-title; Series-title; Title; Copyright; Dedication; Contents; Preface; I A Bit of Logic: A User's Toolbox; II The Set-Theoretic Universe, Naïvely; III The Axioms of Set Theory; IV The Axiom of Choice; V The Natural Numbers; Transitive Closure; VI Order; VII Cardinality; VIII Forcing; Bibliography; List of Symbols; IndexThis 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.Cambridge studies in advanced mathematics ;83.Lectures in Logic & Set TheoryLogic, Symbolic and mathematicalSet theoryLogic, Symbolic and mathematical.Set theory.511.3Tourlakis George J.149747UkCbUPUkCbUPBOOK9910829176203321Lectures in logic and set theory473229UNINA