Degrees of functionals. (English) Zbl 0421.03036
MSC:
03D65 | Higher-type and set recursion theory |
03D30 | Other degrees and reducibilities in computability and recursion theory |
03D25 | Recursively (computably) enumerable sets and degrees |
03E45 | Inner models, including constructibility, ordinal definability, and core models |
03E50 | Continuum hypothesis and Martin’s axiom |