Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 by G.H. Müller (PDF)

Description

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.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐

⭐

Keywords

Free Download Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 in PDF format
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 PDF Free Download
Download Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 2014 PDF Free
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 2014 PDF Free Download
Download Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 PDF
Free Download Ebook Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977