Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 [1 ed.] 3540527729, 9783540527725, 0387527729
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree th
216 42 3MB
English Pages 400 [394] Year 1990
Table of contents :
Honest polynomial reductions and exptally sets....Pages 1-22
On the structure of degrees below O′....Pages 23-32
Positive solutions to Post's problem....Pages 33-40
The metamathematics of Fraïssé's order type conjecture....Pages 41-56
Enumeration reducibility, nondeterministic computations and relative computability of partial functions....Pages 57-110
Notes on the O‴ priority method with special attention to density results....Pages 111-140
Array nonrecursive sets and multiple permitting arguments....Pages 141-173
Superbranching degrees....Pages 175-186
A direct construction of a minimal recursively enumerable truth-table degree....Pages 187-204
Σ 2 -induction and the construction of a high degree....Pages 205-221
Undecidability and initial segments of the wtt-degrees ≤0′....Pages 223-244
Randomness and generalizations of fixed point free functions....Pages 245-254
Recursive enumeration without repetition revisited....Pages 255-275
Priority arguments using iterated trees of strategies....Pages 277-296
On the relationship between the complexity, the degree, and the extension of a computable set....Pages 297-322
Polynomially isolated sets....Pages 323-362
A characterization of effective topological spaces....Pages 363-387
Honest polynomial reductions and exptally sets....Pages 1-22
On the structure of degrees below O′....Pages 23-32
Positive solutions to Post's problem....Pages 33-40
The metamathematics of Fraïssé's order type conjecture....Pages 41-56
Enumeration reducibility, nondeterministic computations and relative computability of partial functions....Pages 57-110
Notes on the O‴ priority method with special attention to density results....Pages 111-140
Array nonrecursive sets and multiple permitting arguments....Pages 141-173
Superbranching degrees....Pages 175-186
A direct construction of a minimal recursively enumerable truth-table degree....Pages 187-204
Σ 2 -induction and the construction of a high degree....Pages 205-221
Undecidability and initial segments of the wtt-degrees ≤0′....Pages 223-244
Randomness and generalizations of fixed point free functions....Pages 245-254
Recursive enumeration without repetition revisited....Pages 255-275
Priority arguments using iterated trees of strategies....Pages 277-296
On the relationship between the complexity, the degree, and the extension of a computable set....Pages 297-322
Polynomially isolated sets....Pages 323-362
A characterization of effective topological spaces....Pages 363-387
![Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 [1 ed.]
3540527729, 9783540527725, 0387527729](https://ebin.pub/img/200x200/recursion-theory-week-proceedings-of-a-conference-held-in-oberwolfach-frg-march-1925-1989-1nbsped-3540527729-9783540527725-0387527729.jpg)
- Author / Uploaded
- Klaus Ambos-Spies
- Steven Homer
- Dongping Yang (auth.)
- Klaus Ambos-Spies
- Gert H. Müller
- Gerald E. Sacks (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![Recursion Theory Week. Proceedings conference Oberwolfach, 1984 [1 ed.]
3540156739, 9783540156734](https://ebin.pub/img/200x200/recursion-theory-week-proceedings-conference-oberwolfach-1984-1nbsped-3540156739-9783540156734.jpg)
![Equadiff 82: Proceedings of the international conference held in Würzburg, FRG, August 23–28, 1982 [1 ed.]
9783540126867, 3540126864](https://ebin.pub/img/200x200/equadiff-82-proceedings-of-the-international-conference-held-in-wrzburg-frg-august-2328-1982-1nbsped-9783540126867-3540126864.jpg)
![TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989 [1 ed.]
3540509399, 9783540509394](https://ebin.pub/img/200x200/tapsoft-89-proceedings-of-the-international-joint-conference-on-theory-and-practice-of-software-development-barcelona-spain-march-1317-1989-1nbsped-3540509399-9783540509394.jpg)
![Geobild’ 89: Proceedings of the 4th Workshop on Geometrical Problems of Image Processing held in Georgenthal (GDR), March 13–17, 1989 [Reprint 2022 ed.]
9783112659007, 9783112658994](https://ebin.pub/img/200x200/geobild-89-proceedings-of-the-4th-workshop-on-geometrical-problems-of-image-processing-held-in-georgenthal-gdr-march-1317-1989-reprint-2022nbsped-9783112659007-9783112658994.jpg)
![Preconditioned Conjugate Gradient Methods: Proceedings of a Conference Held in Nijmegen, The Netherlands, June 19-21, 1989 [1 ed.]
9783540535157, 3540535152](https://ebin.pub/img/200x200/preconditioned-conjugate-gradient-methods-proceedings-of-a-conference-held-in-nijmegen-the-netherlands-june-19-21-1989-1nbsped-9783540535157-3540535152.jpg)