On local non‐compactness in recursive mathematics

DOI10.1002/MALQ.200510036MaRDI QIDQ5485484zbMATHOpenAlexFDO

Authors Jakob Grue Simonsen

Publication date 30 August 2006

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200510036

zbMATH Keywords

compactnessmetric spacesrecursion theoryrecursive mathematicsConstructive mathematics

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60)

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

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3720907 (Why is no real title available?)
• Theorie der Numerierungen I

Cited in

(3)

• Computability of Subsets of Metric Spaces
• Local compactness for computable Polish metric spaces is \(\varPi ^1_1\)-complete
• Nonexistence of local expansions on certain continua

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)