Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13 23, 1977
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in mathematics
669 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Higher set theory, proceedings, Oberwolfach, Germany, April 13-23, 1977, edited by G. H. Müller and D. S. Scott, 1978, Berlin [etc.], Springer-Verlag, 1 volume (XII-476 p.), Lecture notes in mathematics, 3-540-08926-8 • Higher Set Theory, Texte imprimé, 9783662196427 |
Taula de continguts:
- 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.