LEADER 02226oam  2200577zu 450 
001 996210817503316
005 20230421045457.0
010   $a3-662-21903-4
035   $a(CKB)1000000000751041
035   $a(SSID)ssj0000508726
035   $a(PQKBManifestationID)12174283
035   $a(PQKBTitleCode)TC0000508726
035   $a(PQKBWorkID)10556044
035   $a(PQKB)10811619
035   $a(MiAaPQ)EBC3100103
035   $a(Au-PeEL)EBL3100103
035   $a(CaPaEBR)ebr10975005
035   $a(OCoLC)934998162
035   $a(EXLCZ)991000000000751041
100   $a20160829d1994      uy              
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aFine structure and iteration trees
205   $a1st ed.
210 31$a[Place of publication not identified]$cSpringer Verlag$d1994
215   $a1 online resource (137 pages)
225 0 $aLecture notes in logic  Fine structure and iteration trees 
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-57494-8 
327   $aLecture Notes in Logic 3 Fine Structure and Iteration Trees -- Fine Structure and Iteration Trees -- Copyright -- Contents -- 0. Introduction -- 1. Good Extender Sequences -- 2. Fine Structure -- 3. Squashed Mice -- 4. Ultrapowers -- 5. Iteration Trees -- 6. Uniqueness of Wellfounded Branches -- 7. The Comparison Process -- 8. Solidity and Condensation -- 9. Uniqueness of the Next Extender -- 10. Closure under Initial Segment -- 11. The Construction -- 12. Iterability -- References -- Index of Definitions -- Index.
606   $aConstructive mathematics
606   $aSet theory
606   $aMathematics$2HILCC
606   $aPhysical Sciences & Mathematics$2HILCC
606   $aMathematical Theory$2HILCC
615  0$aConstructive mathematics
615  0$aSet theory
615  7$aMathematics
615  7$aPhysical Sciences & Mathematics
615  7$aMathematical Theory
676   $a511.3
700   $aMitchell$b William J$0127031
702   $aSteel$b J. R
801  0$bPQKB
906   $aBOOK
912   $a996210817503316
996   $aFine structure and iteration trees$92846464
997   $aUNISA