Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / / edited by G. H. Müller and D. S. Scott

• Pubblicazione: Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1978]; ©1978
• Edizione: 1st ed. 1978.
• Descrizione fisica: 1 online resource (X, 110 p.)
• Disciplina: 510.8
• Soggetto topico: Set theory; Mathematics
• Persona (resp. second.): MüllerG. H <1923-> (Gert Heinz); ScottDana S.
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: Higher set theory
• ISBN: 3-540-35749-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466771003316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Mathematics, . 0075-8434 ; ; 669