The definability of E(α)

DOI10.2307/2274175zbMath0575.03033OpenAlexW2578175772MaRDI QIDQ3693523

Edward R. Griffor, Dag Normann

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274175

zbMATH Keywords

recursivenessset recursion

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)

Related Items (1)

The limits of E-recursive enumerability

Cites Work

• Effective cofinalities and admissibility in E-recursion

This page was built for publication: The definability of E(α)