On local non‐compactness in recursive mathematics

DOI10.1002/MALQ.200510036zbMATH Open1095.03034OpenAlexW2051672480MaRDI QIDQ5485484FDOQ5485484

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)