Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 / Edition 1

Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 / Edition 1

by G.H. Muller

ISBN-10: 3540089268

ISBN-13: 9783540089261

Pub. Date: 11/04/1978

Publisher: Springer Berlin Heidelberg

Product Details

Springer Berlin Heidelberg
Publication date:
Lecture Notes in Mathematics Series , #669
Edition description:
Product dimensions:
9.21(w) x 6.14(h) x 0.99(d)

Table of Contents

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.

Customer Reviews

Average Review:

Post to your social network


Most Helpful Customer Reviews

See all customer reviews