LEADER 02281nam  2200613 a 450 
001 9910462737703321
005 20211209021720.0
010   $a3-11-080911-7
024 7 $a10.1515/9783110809114
035   $a(CKB)2670000000235135
035   $a(EBL)3040572
035   $a(SSID)ssj0000608621
035   $a(PQKBManifestationID)11381165
035   $a(PQKBTitleCode)TC0000608621
035   $a(PQKBWorkID)10607227
035   $a(PQKB)11009077
035   $a(MiAaPQ)EBC3040572
035   $a(WaSeSS)Ind00013595
035   $a(DE-B1597)43271
035   $a(OCoLC)842582021
035   $a(OCoLC)979763206
035   $a(DE-B1597)9783110809114
035   $a(Au-PeEL)EBL3040572
035   $a(CaPaEBR)ebr10588386
035   $a(CaONFJC)MIL558740
035   $a(EXLCZ)992670000000235135
100   $a20000207d2000      uy             0
101 0 $aeng
135   $aurnn#---|u||u
181   $ctxt
182   $cc
183   $acr
200 10$aFine structure and class forcing$b[electronic resource] /$fSy D. Friedman
205   $aReprint 2011
210   $aBerlin ;$aNew York $cWalter de Gruyter$d2000
215   $a1 online resource (231 p.)
225 0 $aDe Gruyter Series in Logic and Its Applications ;$v3
300   $aDescription based upon print version of record.
311 0 $a3-11-016777-8 
320   $aIncludes bibliographical references and index.
327   $tFront matter --$tPreface --$tContents --$tChapter 1. The ?* Approach to the Fine Structure of L --$tChapter 2. Forcing --$tChapter 3. Construction of Generic Classes --$tChapter 4. The Coding Theorem --$tChapter 5. The Genericity Problem --$tChapter 6. The ?½-Singleton Problem --$tChapter 7. The Admissibility Spectrum Problem --$tChapter 8. Further Applications of Class Forcing --$tSome Open Problems --$tReferences --$tIndex
410  3$aDe Gruyter Series in Logic and Its Applications
606   $aForcing (Model theory)
608   $aElectronic books.
615  0$aForcing (Model theory)
676   $a511.3/22
700   $aFriedman$b Sy D.$f1953-$0940633
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910462737703321
996   $aFine structure and class forcing$92474199
997   $aUNINA

LEADER 01474nam  2200385   450 
001 996279715703316
005 20230423104406.0
010   $a1-4799-6081-0
035   $a(CKB)2560000000337496
035   $a(NjHacI)992560000000337496
035   $a(EXLCZ)992560000000337496
100   $a20230423d2014      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCognitive Informatics & Cognitive Computing (ICCI*CC), 2014 IEEE 13th International Conference on /$fInstitute of Electrical and Electronics Engineers
210  1$aPiscataway, New Jersey :$cIEEE,$d2014.
215   $a1 online resource (549 pages)
311   $a1-4799-6082-9 
311   $a1-4799-6080-2 
330   $aAnnotation Cognitive informatics, cognitive computing, cognitive science, cognitive robots, artificial intelligence, computational intelligence.
517   $a2014 IEEE 13th International Conference on Cognitive Informatics & Cognitive Computing 
517   $a2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing
517   $aCognitive Informatics & Cognitive Computing 
606   $aCognition$vCongresses
615  0$aCognition
676   $a153
801  0$bNjHacI
801  1$bNjHacl
906   $aPROCEEDING
912   $a996279715703316
996   $aCC), 2014 IEEE 13th International Conference on$92505112
997   $aUNISA