LEADER 01671oam 2200493zu 450 001 996210817603316 005 20210807003201.0 035 $a(CKB)1000000000751040 035 $a(SSID)ssj0000508725 035 $a(PQKBManifestationID)12250722 035 $a(PQKBTitleCode)TC0000508725 035 $a(PQKBWorkID)10555091 035 $a(PQKB)10440049 035 $a(EXLCZ)991000000000751040 100 $a20160829d1995 uy 0 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDescriptive set theory and forcing$hVol. IV $ehow to prove theorems about Borel sets the hard way /$fArnold W. Miller 210 31$aNew York :$cSpringer-Verlag,$d[1995]. 210 4$dİ1995. 215 $a1 online resource (130 pages) 225 1 $aLecture notes in logic ;$v4 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60059-0 320 $aIncludes bibliographical references (pages 121-127) and index. 327 $aI. On the length of Borel hierarchies -- II. Analytic sets -- III. Classical Separation Theorems -- IV. Gandy Forcing. 410 0$aLecture notes in logic ;$v4. 606 $aSet theory 606 $aDescriptive set theory 606 $aForcing (Model theory) 606 $aBorel sets 615 0$aSet theory 615 0$aDescriptive set theory 615 0$aForcing (Model theory) 615 0$aBorel sets 676 $a511.3/22 700 $aMiller$b Arnold W.$f1950-$0893378 801 0$bPQKB 906 $aBOOK 912 $a996210817603316 996 $aDescriptive set theory and forcing$91995673 997 $aUNISA