scientific article; zbMATH DE number 2152691
From MaRDI portal
Publication:4664259
zbMath1088.03045MaRDI QIDQ4664259
Publication date: 5 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)
Related Items (2)
Predicatively unprovable termination of the Ackermannian Goodstein process ⋮ Classifying the phase transition threshold for Ackermannian functions
This page was built for publication: