Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks
(Lecture Notes in Mathematics ; 1432)
データ種別 | 電子ブック |
---|---|
出版情報 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990 |
本文言語 | 英語 |
大きさ | VIII, 400 p : online resource |
書誌詳細を非表示
内容注記 | 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 |
著者標目 | Ambos-Spies, Klaus editor Müller, Gert H. editor Sacks, Gerald E. editor SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:Mathematical logic FREE:Mathematics FREE:Mathematical Logic and Foundations |
分 類 | DC23:511.3 |
巻冊次 | ISBN:9783540471424 |
ISBN | 9783540471424 |
URL | http://dx.doi.org/10.1007/BFb0086109 |
目次/あらすじ