Grzegorczyk's hierarchy of computable analysis (Q1575655)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Grzegorczyk's hierarchy of computable analysis |
scientific article |
Statements
Grzegorczyk's hierarchy of computable analysis (English)
0 references
21 August 2000
0 references
\(({\mathcal E}^r)\) primitively computable sequences of reals
0 references
\(({\mathcal E}^r)\) primitively computable sequences of real-valued functions
0 references
\(({\mathcal E}^r)\) primitive computability structures on Banach space
0 references
Grzegorczyk's hierarchy
0 references
