LEADER 03040nam  22006015  450 
001 9910299960803321
005 20200706053107.0
010   $a3-319-06725-7
024 7 $a10.1007/978-3-319-06725-4
035   $a(CKB)3710000000119138
035   $a(EBL)1731143
035   $a(SSID)ssj0001247359
035   $a(PQKBManifestationID)11698911
035   $a(PQKBTitleCode)TC0001247359
035   $a(PQKBWorkID)11193204
035   $a(PQKB)10180633
035   $a(DE-He213)978-3-319-06725-4
035   $a(MiAaPQ)EBC6314269
035   $a(MiAaPQ)EBC1731143
035   $a(Au-PeEL)EBL1731143
035   $a(CaPaEBR)ebr10983235
035   $a(OCoLC)881431325
035   $a(PPN)178783935
035   $a(EXLCZ)993710000000119138
100   $a20140522d2014      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aSet Theory $eExploring Independence and Truth /$fby Ralf Schindler
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (335 p.)
225 1 $aUniversitext,$x0172-5939
300   $aDescription based upon print version of record.
311   $a3-319-06724-9 
327   $aNaive set theory -- Axiomatic set theory -- Ordinals -- Cardinals -- Constructability -- Forcing -- Descriptive set theory -- Solovay?s model -- The Raisonnier filter -- Measurable cardinals -- 0# and Jensen?s Covering Lemma -- Analytic and full determinacy -- Projective determinacy.
330   $aThis textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of large cardinals, inner models, forcing, and descriptive set theory. The following topics are covered: ? Forcing and constructability ? The Solovay-Shelah Theorem i.e. the equiconsistency of ?every set of reals is Lebesgue measurable? with one inaccessible cardinal ? Fine structure theory and a modern approach to sharps ? Jensen?s Covering Lemma ? The equivalence of analytic determinacy with sharps ? The theory of extenders and iteration trees ? A proof of projective determinacy from Woodin cardinals. Set Theory requires only a basic knowledge of mathematical logic and will be suitable for advanced students and researchers.
410  0$aUniversitext,$x0172-5939
606   $aLogic, Symbolic and mathematical
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aLogic, Symbolic and mathematical.
615 14$aMathematical Logic and Foundations.
676   $a511.3
700   $aSchindler$b Ralf$4aut$4http://id.loc.gov/vocabulary/relators/aut$0524636
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910299960803321
996   $aSet theory$9821859
997   $aUNINA