LEADER 02658nam 2200613 450 001 996466379203316 005 20220909124739.0 010 $a3-540-37821-9 024 7 $a10.1007/BFb0059290 035 $a(CKB)1000000000438443 035 $a(SSID)ssj0000321437 035 $a(PQKBManifestationID)12131815 035 $a(PQKBTitleCode)TC0000321437 035 $a(PQKBWorkID)10279845 035 $a(PQKB)10939176 035 $a(DE-He213)978-3-540-37821-1 035 $a(MiAaPQ)EBC5585819 035 $a(Au-PeEL)EBL5585819 035 $a(OCoLC)1066194765 035 $a(MiAaPQ)EBC6842268 035 $a(Au-PeEL)EBL6842268 035 $a(PPN)155201689 035 $a(EXLCZ)991000000000438443 100 $a20220909d1973 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAspects of constructibility /$fK. J. Devlin 205 $a1st ed. 1973. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1973] 210 4$dİ1973 215 $a1 online resource (XII, 246 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v354 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-06522-9 327 $aZermelo-Fraenkel set theory -- The constructible universe -- The axiom of constructibility, the condensation lemma, and the consistency of the generalised continuum hypothesis -- The Souslin hypothesis -- The Kurepa hypothesis -- Constructibility and the continuum -- The Jensen hierarchy of constructible sets -- The fine structure of the Jensen hierarchy -- The combinatorial principles {ie104-1} -- The generalised Souslin hypothesis for successor cardinals -- Ineffable cardinals and the generalised Kurepa hypothesis -- Weakly compact cardinals and the generalised Souslin hypothesis -- The Gap-1 two cardinals theorem -- Gap-1 morasses -- The gap-2 two cardinals theorem. (Jensen) -- Small large cardinals -- Medium large cardinals -- Large large cardinals -- Relative constructibility -- The inner model L[?] -- Strongly compact cardinals and relative constructibility. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v354 606 $aSet theory 606 $aModel theory 606 $aConstructibility (Set theory) 615 0$aSet theory. 615 0$aModel theory. 615 0$aConstructibility (Set theory) 676 $a511.322 700 $aDevlin$b Keith J.$028052 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466379203316 996 $aAspects of constructibility$981433 997 $aUNISA