scientific article; zbMATH DE number 2038888
From MaRDI portal
Publication:4449291
zbMath1036.03032MaRDI QIDQ4449291
Publication date: 8 February 2004
Full work available at URL: https://eudml.org/doc/123462
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 (3)
Phase transitions for Gödel incompleteness ⋮ Classifying the phase transition threshold for Ackermannian functions ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
This page was built for publication: