02743nam 2200601 450 99646677100331620220915133519.03-540-35749-110.1007/BFb0103096(CKB)1000000000438133(SSID)ssj0000323783(PQKBManifestationID)12132021(PQKBTitleCode)TC0000323783(PQKBWorkID)10304389(PQKB)11354082(DE-He213)978-3-540-35749-0(MiAaPQ)EBC5585406(Au-PeEL)EBL5585406(OCoLC)1066186998(MiAaPQ)EBC6842792(Au-PeEL)EBL6842792(PPN)155218980(EXLCZ)99100000000043813320220915d1978 uy 0engurnn|008mamaatxtccrHigher set theory proceedings, Oberwolfach, Germany, April 13-23, 1977 /edited by G. H. Müller and D. S. Scott1st ed. 1978.Berlin, Germany ;New York, New York :Springer-Verlag,[1978]©19781 online resource (X, 110 p.) Lecture Notes in Mathematics,0075-8434 ;669Bibliographic Level Mode of Issuance: Monograph3-540-08926-8 Wellordered subclasses of proper classes -- A proof of foundation from axioms of cumulation -- Categoricity with respect to ordinals -- Classically and intuitionistically provably recursive functions -- Hierarchies of sets definably by means of infinitary languages -- Some results on degrees of constructibility -- Constructive universes I -- The evolution of large cardinal axioms in set theory -- Forcing in analysis -- Recursivity and compactness -- Fine structure theory of the constructible universe in ?- and ?-recursion theory -- On a class of models of the n-th order arithmetic -- O# and the p-point problem -- A combinatorial characterization of inaccessible cardinals -- Singular cardinals and analytic games -- Regressive functions and stationary sets -- Cardinals in the inner model HOD -- Partitions of the real line into X 1 closed sets -- Gödel numbers of product spaces -- A note on increasing sequences of constructibility degrees.Lecture Notes in Mathematics,0075-8434 ;669Set theoryMathematicsSet theory.Mathematics.510.8Müller G. H(Gert Heinz),1923-Scott Dana S.MiAaPQMiAaPQMiAaPQBOOK996466771003316Higher set theory80675UNISA