Computable metrics above the standard real metric (Q2033336)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable metrics above the standard real metric |
scientific article |
Statements
Computable metrics above the standard real metric (English)
0 references
17 June 2021
0 references
computable metric space
0 references
representation of real numbers
0 references
Cauchy representation
0 references
reducibility of representations
0 references
computable analysis
0 references
