Absolutely non-computable predicates and functions in analysis (Q3616216)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Absolutely non-computable predicates and functions in analysis |
scientific article |
Statements
Absolutely non-computable predicates and functions in analysis (English)
0 references
24 March 2009
0 references
Type-2 Theory of Effectivity
0 references
representation approach
0 references
computable analysis
0 references
multi-representations
0 references
computable measure spaces
0 references
absolutely non-computable functions
0 references
0 references