Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in mathematics
1141 |
| Soggetti: | |
| Accesso online: | 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: | • Recursion theory week, proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984, edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks, 1985, Berlin [etc.], Springer-Verlag, 1 vol. (IX-418 p.), Lecture notes in mathematics, 0-387-15673-9 • Recursion Theory Week, Texte imprimé, 9783662197059 |
Sommario:
- Generators of the recursively enumerable degrees
- Kleene degrees of ultrafilters
- Recursion theory on strongly ?2 inadmissible ordinals
- Applications of the low-basis theorem in arithmetic
- Strong reducibilities in ?- and ?-recursion theory
- Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees
- An immune partition of the ordinals
- An application of ? 2 1 -logic to descriptive set theory
- Probabilistic machines, oracles, and quantifiers
- Minimal polynomial degrees of nonrecursive sets
- Genericity for recursively enumerable sets
- Sets of everywhere singular functions
- Measure, ? 1 0 -classes and complete extensions of PA
- On the ordering of classes in high/low hierarchies
- Generic objects in recursion theory
- The structure of m-degrees
- Some open questions in recursion theory
- Absolute type 2 objects
- Recursion theoretic aspects of the dual ramsey theorem
- Reflection and the priority method in E-recursion theory
- Subrecursive ordinals.