Higher set theory. Proceedings, Oberwolfach, Germany, 1977

Wellordered subclasses of proper classes....Pages 1-14
A proof of foundation from axioms of cumulation....Pages 15-16
Categoricity with respect to ordinals....Pages 17-20
Classically and intuitionistically provably recursive functions....Pages 21-27
Hierarchies of sets definably by means of infinitary languages....Pages 29-54
Some results on degrees of constructibility....Pages 55-71
Constructive universes I....Pages 73-98
The evolution of large cardinal axioms in set theory....Pages 99-275
Forcing in analysis....Pages 277-302
Recursivity and compactness....Pages 303-337
Fine structure theory of the constructible universe in α- and β-recursion theory....Pages 339-359
On a class of models of the n-th order arithmetic....Pages 361-374
O # and the p-point problem....Pages 375-384
A combinatorial characterization of inaccessible cardinals....Pages 385-390
Singular cardinals and analytic games....Pages 391-422
Regressive functions and stationary sets....Pages 423-435
Cardinals in the inner model HOD....Pages 437-454
Partitions of the real line into X 1 closed sets....Pages 455-460
Gödel numbers of product spaces....Pages 461-471
A note on increasing sequences of constructibility degrees....Pages 473-476