Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977
Author(s)
Bibliographic Information
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977
(Lecture notes in mathematics, 669)
Springer-Verlag, 1978
- : Berlin
- : New York
Available at / 75 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||6697808926S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Berlin510/L4972021011022
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
Description and Table of Contents
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.- Goedel numbers of product spaces.- A note on increasing sequences of constructibility degrees.
by "Nielsen BookData"