Recursive Functions Defined by Ordinal Recursions

DOI10.2307/2037518zbMath0215.32302OpenAlexW4250583312MaRDI QIDQ5618351

R. J. Fabian, Clement F. Kent

Publication date: 1969

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

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• Unnamed Item
• Zur Theorie der konstruktiven Wohlordnungen
• A Theorem on General Recursive Functions
• Zusammenhang der mehrfachen und transfiniten Rekursionen

This page was built for publication: Recursive Functions Defined by Ordinal Recursions