On local non‐compactness in recursive mathematics
From MaRDI portal
Publication:5485484
Recommendations
- Local compactness for computable Polish metric spaces is \(\varPi ^1_1\)-complete
- Local computability of computable metric spaces and computability of co-c.e. continua
- On computably locally compact Hausdorff spaces
- Local compactness and porosity in metric spaces
- Open subspaces of locally compact metric spaces
Cites work
Cited in
(3)
This page was built for publication: On local non‐compactness in recursive mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5485484)