On local non‐compactness in recursive mathematics (Q5485484)
From MaRDI portal
scientific article; zbMATH DE number 5050734
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On local non‐compactness in recursive mathematics |
scientific article; zbMATH DE number 5050734 |
Statements
On local non‐compactness in recursive mathematics (English)
0 references
30 August 2006
0 references
Constructive mathematics
0 references
recursive mathematics
0 references
metric spaces
0 references
compactness
0 references
recursion theory
0 references
