×
Normann, Dag

Degrees of functionals. (English) Zbl 0421.03036

Ann. Math. Logic 16, 269-304 (1979).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0421.03036

Cited in 1 Review

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

Keywords:

normal functionals; degrees; minimal pair; constructibility; Martin’s axiom; Post’s problem; wellordering; companion theory; reflection properties
Cite Review PDF
Full Text: DOI