×

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
PDFBibTeX XMLCite
Full Text: EuDML