Some subrecursive versions of Grzegorczyk's Uniformity Theorem
From MaRDI portal
Publication:3159436
DOI10.1002/malq.200310117zbMath1058.03039OpenAlexW1993467410MaRDI QIDQ3159436
Publication date: 16 February 2005
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310117
computable analysiscomputable functionalelementary recursive functionalprimitive recursive functionalUniformity Theorem
Constructive and recursive analysis (03F60) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items