![Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 /](/search/themes/bootstrap3/images/libros.png)
Recursion Theory Week [electronic resource] : 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, proof theoretic questions in recursion theory, and recursive mathematics.
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1990
|
| Subjects: | Mathematics., Mathematical logic., Mathematical Logic and Foundations., |
| Online Access: | http://dx.doi.org/10.1007/BFb0086109 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:207931 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:2079312018-07-30T23:38:41ZRecursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / Ambos-Spies, Klaus. editor. Müller, Gert H. editor. Sacks, Gerald E. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1990.engThese 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.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.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.Mathematics.Mathematical logic.Mathematics.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/BFb0086109URN:ISBN:9783540471424 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. |
| spellingShingle |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Ambos-Spies, Klaus. editor. Müller, Gert H. editor. Sacks, Gerald E. editor. SpringerLink (Online service) Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / |
| description |
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. |
| format |
Texto |
| topic_facet |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. |
| author |
Ambos-Spies, Klaus. editor. Müller, Gert H. editor. Sacks, Gerald E. editor. SpringerLink (Online service) |
| author_facet |
Ambos-Spies, Klaus. editor. Müller, Gert H. editor. Sacks, Gerald E. editor. SpringerLink (Online service) |
| author_sort |
Ambos-Spies, Klaus. editor. |
| title |
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / |
| title_short |
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / |
| title_full |
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / |
| title_fullStr |
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / |
| title_full_unstemmed |
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / |
| title_sort |
recursion theory week [electronic resource] : proceedings of a conference held in oberwolfach, frg, march 19–25, 1989 / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
| publishDate |
1990 |
| url |
http://dx.doi.org/10.1007/BFb0086109 |
| work_keys_str_mv |
AT ambosspiesklauseditor recursiontheoryweekelectronicresourceproceedingsofaconferenceheldinoberwolfachfrgmarch19251989 AT mullergertheditor recursiontheoryweekelectronicresourceproceedingsofaconferenceheldinoberwolfachfrgmarch19251989 AT sacksgeraldeeditor recursiontheoryweekelectronicresourceproceedingsofaconferenceheldinoberwolfachfrgmarch19251989 AT springerlinkonlineservice recursiontheoryweekelectronicresourceproceedingsofaconferenceheldinoberwolfachfrgmarch19251989 |
| _version_ |
1756268452809539584 |