Some subrecursive versions of Grzegorczyk's Uniformity Theorem
From MaRDI portal
Publication:3159436
DOI10.1002/malq.200310117zbMath1058.03039MaRDI 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 analysis; computable functional; elementary recursive functional; primitive recursive functional; Uniformity Theorem
03F60: Constructive and recursive analysis
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items