Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks
(Lecture Notes in Mathematics ; 1141)
| データ種別 | 電子ブック |
|---|---|
| 出版情報 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985 |
| 本文言語 | 英語 |
| 大きさ | XII, 420 p : online resource |
書誌詳細を非表示
| 内容注記 | 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 |
|---|---|
| 著者標目 | Ebbinghaus, Heinz-Dieter 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:9783540395966 
|
| ISBN | 9783540395966 |
| URL | http://dx.doi.org/10.1007/BFb0076211 |
目次／あらすじ