02226oam 2200577zu 450 99621081750331620230421045457.03-662-21903-4(CKB)1000000000751041(SSID)ssj0000508726(PQKBManifestationID)12174283(PQKBTitleCode)TC0000508726(PQKBWorkID)10556044(PQKB)10811619(MiAaPQ)EBC3100103(Au-PeEL)EBL3100103(CaPaEBR)ebr10975005(OCoLC)934998162(EXLCZ)99100000000075104120160829d1994 uy engurcnu||||||||txtccrFine structure and iteration trees1st ed.[Place of publication not identified]Springer Verlag19941 online resource (137 pages)Lecture notes in logic Fine structure and iteration trees Bibliographic Level Mode of Issuance: Monograph3-540-57494-8 Lecture 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.Constructive mathematicsSet theoryMathematicsHILCCPhysical Sciences & MathematicsHILCCMathematical TheoryHILCCConstructive mathematicsSet theoryMathematicsPhysical Sciences & MathematicsMathematical Theory511.3Mitchell William J127031Steel J. RPQKBBOOK996210817503316Fine structure and iteration trees2846464UNISA