Recursion-Theoretic Hierarchies
Автор
Peter G. Hinman (University Of Michigan, Ann Arbor)
The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.