Publication:4052099
From MaRDI portal
zbMath0298.02036MaRDI QIDQ4052099
Publication date: 1971
03E15: Descriptive set theory
03D30: Other degrees and reducibilities in computability and recursion theory
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03D65: Higher-type and set recursion theory
03D55: Hierarchies of computability and definability
Related Items