×

zbMATH — the first resource for mathematics

On application of the theory of functions partially recursive relative to number sets in constructive mathematics. (Russian) Zbl 0394.03054

MSC:
03F60 Constructive and recursive analysis
03D30 Other degrees and reducibilities in computability and recursion theory
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
03D55 Hierarchies of computability and definability
PDF BibTeX XML Cite
Full Text: EuDML