Techniques of admissible recursion theory
Author(s)
Bibliographic Information
Techniques of admissible recursion theory
(Lecture notes in mathematics, 1106)
Springer-Verlag, 1984
- : gw
- : us
Available at / 72 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||11068502072S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: gw510/L4972021253787
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [206]-211
Includes index
Description and Table of Contents
Table of Contents
The jump operator and 1-generic sets.- The ?-finite injury method.- Maximal sets.- Major subsets.- Hyperhypersimple sets.- Minimal pairs.- The density theorem.- Trees.- Set-theoretic methods.
by "Nielsen BookData"