scientific article; zbMATH DE number 841086

zbMath0845.03022MaRDI QIDQ4863242

Andrew J. Heaton, Stanley S. Wainer

Publication date: 26 February 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

axiomatizationtransfinite recursionfast growing hierarchyrecursion theoremssubrecursionKleene's enumeration hierarchyregulated enumeration

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract and axiomatic computability and recursion theory (03D75)

This page was built for publication: