Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory,...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in mathematics
1432 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
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, FRG, March 19-25, 1989, K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.), 1990, Berlin, Springer-Verlag, 1 vol. (VI-393 p.), Lecture notes in mathematics, 3-540-52772-9 • Recursion Theory Week, Texte imprimé, 9783662178553 |
| LEADER | 03825nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 969791 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155179616 | ||
| 020 | |a 9783540471424 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 510 | ||
| 084 | |a 00B25. 2010 | ||
| 084 | |a 03-06. 2010 | ||
| 111 | 2 | |a Recursion theory week |n (2 |d :1989 |c :Oberwolfach, Germany). | |
| 245 | 1 | 0 | |a Recursion Theory Week : |b Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989 |c [edited by] Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in mathematics |v 1432 |x 1617-9692 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Honest polynomial reductions and exptally sets -- On the structure of degrees below O? -- Positive solutions to Post's problem -- The metamathematics of Fraïssé's order type conjecture -- Enumeration reducibility, nondeterministic computations and relative computability of partial functions -- Notes on the O? priority method with special attention to density results -- Array nonrecursive sets and multiple permitting arguments -- Superbranching degrees -- A direct construction of a minimal recursively enumerable truth-table degree -- ?2-induction and the construction of a high degree -- Undecidability and initial segments of the wtt-degrees ?0? -- Randomness and generalizations of fixed point free functions -- Recursive enumeration without repetition revisited -- Priority arguments using iterated trees of strategies -- On the relationship between the complexity, the degree, and the extension of a computable set -- Polynomially isolated sets -- A characterization of effective topological spaces. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics. | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorie de la récursivité | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ambos-Spies, Klaus. |4 pbd | |
| 700 | 1 | |a Müller, Gert Heinz, |d 1923-2006. |4 pbd | |
| 700 | 1 | |a Sacks, Gerald, |d 1933-2019. |4 pbd | |
| 776 | 0 | |0 021715734 |t Recursion theory week |o proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 |f K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.) |d 1990 |c Berlin |n Springer-Verlag |p 1 vol. (VI-393 p.) |s Lecture notes in mathematics |z 3-540-52772-9 | |
| 776 | 0 | |t Recursion Theory Week |b Texte imprimé |z 9783662178553 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0086109 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-N0VWGS56-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750670193 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0086109 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754019144 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0086109 |z Accès INSA CVL | |
| 997 | |0 969791 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||