TY  - BOOK
AU  - Müller,Gert H.
AU  - Scott,Dana S.
ED  - SpringerLink (Online service)
TI  - Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977 
T2  - Lecture Notes in Mathematics,
SN  - 9783540357490
AV  - QA1-939 
U1  - 510 23
PY  - 1978///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Mathematics
KW  - Mathematics, general
N1  - 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
UR  - http://dx.doi.org/10.1007/BFb0103096
ER  -