Low functions of reals (Q3003945)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Low functions of reals |
scientific article |
Statements
31 May 2011
0 references
computable real number
0 references
computable function of reals
0 references
elementary functions
0 references
lower elementary functions
0 references
Yoshinaga's theorem
0 references
Grzegorczyk hierarchy
0 references
math.LO
0 references