2000 character limit reached
Effective local compactness and the hyperspace of located sets (1903.05490v1)
Published 13 Mar 2019 in cs.LO and math.LO
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.