Title | Higher Set Theory [electronic resource] : Proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by Gert H. Mรผller, Dana S. Scott |
---|---|

Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1978 |

Connect to | http://dx.doi.org/10.1007/BFb0103096 |

Descript | X, 110 p. online resource |

CONTENT

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

Mathematics
Mathematics
Mathematics general