Grzegorczyk's hierarchy of computable analysis
From MaRDI portal
Publication:1575655
DOI10.1016/S0304-3975(00)00070-0zbMath0945.03090MaRDI QIDQ1575655
Publication date: 21 August 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Grzegorczyk's hierarchy; \(({\mathcal E}^r)\) primitive computability structures on Banach space; \(({\mathcal E}^r)\) primitively computable sequences of real-valued functions; \(({\mathcal E}^r)\) primitively computable sequences of reals
03F60: Constructive and recursive analysis
03D20: Recursive functions and relations, subrecursive hierarchies
Cites Work