Higher Set Theory

Inhaltsverzeichnis

• 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.