On local non‐compactness in recursive mathematics

DOI10.1002/malq.200510036zbMath1095.03034OpenAlexW2051672480MaRDI QIDQ5485484

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

metric spacescompactnessrecursion theoryrecursive mathematicsConstructive mathematics

Mathematics Subject Classification ID

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

Related Items

Computability of Subsets of Metric Spaces

Cites Work

• Theorie der Numerierungen I
• Unnamed Item
• Unnamed Item