Publication:3028999

zbMath0626.03037MaRDI QIDQ3028999

Stanley S. Wainer

Publication date: 1985

zbMATH Keywords

computational complexity; type structure; abstract ordinal notations; Kleene-computation; slow- growing function

Mathematics Subject Classification ID

03D15: Complexity of computation (including implicit computational complexity)

03D65: Higher-type and set recursion theory

03D55: Hierarchies of computability and definability

Related Items

Natural well-orderings