Recursion theory on strongly Σ2 inadmissible ordinals
Part of the Lecture Notes in Mathematics book series (LNM, volume 1141)
- 211 Downloads
KeywordsOrder Theory Order Type Recursion Theory Splitting Operation Major Subset
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- C. T. Chong [to appear], Techniques of Admissible Recursion Theory Google Scholar
- S. D. Friedman , Natural α-r.e. degrees, in: Logic Year 1979–1980, Lecture Notes in Math. Vol.859Google Scholar
- W. A. Maass , High α-recursively enumerable degrees, in: Generalized Recursion Theory II, North Holland, 239–270Google Scholar
- R. A. Shore , On the AE-sentences of α-recursion theory, in: Generalized Recursion Theory II, North Holland, 331–354Google Scholar
© Springer-Verlag 1985