| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466771003316 |
|
|
Titolo |
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / / edited by G. H. Müller and D. S. Scott |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1978] |
|
©1978 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1978.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 110 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Mathematics, , 0075-8434 ; ; 669 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|
| |