Definable functions on degrees
- 24 November 2006
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The structure of the degrees of unsolvabilityPublished by American Mathematical Society (AMS) ,1985
- A classification of jump operatorsThe Journal of Symbolic Logic, 1982
- Degrees joining to 0′The Journal of Symbolic Logic, 1981
- High recursively enumerable degrees and the anti-cupping propertyPublished by Springer Nature ,1981
- Uniform enumeration operationsThe Journal of Symbolic Logic, 1975
- The axiom of determinateness and reduction principles in the analytical hierarchyBulletin of the American Mathematical Society, 1968
- On a Theorem of Lachlan and MartinProceedings of the American Mathematical Society, 1967