Effective local compactness and the hyperspace of located sets
From MaRDI portal
Publication:6315532
arXiv1903.05490MaRDI QIDQ6315532FDOQ6315532
Authors: Arno Pauly 
Publication date: 13 March 2019
Abstract: We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric spaces. We use this to show that effective local compactness suffices to ensure that the hyperspace of closed-and-overt sets (aka located sets, aka closed sets with full information) is computably compact and computably metrizable.
This page was built for publication: Effective local compactness and the hyperspace of located sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6315532)
