No label defined (Q4982356)
From MaRDI portal
scientific article; zbMATH DE number 6423750
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 6423750 |
Statements
9 April 2015
0 references
partial numbering
0 references
computable isomorphism
0 references
reducibility
0 references
precompleteness
0 references
cylinder
0 references
Myhill's theorem
0 references
uniform productiveness
0 references
effective topological space
0 references
constructive metric space
0 references
computable real numbers
0 references
