2015/01/26 by Matthias Schröder, Schröder, Matthias
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Constraint Satisfaction and Optimization #FOS: Mathematics #Logic (math.LO) #math.LO
paper · pdf · doi:10.48550/arxiv.1501.06452
arxiv created 2015/01/26 · openalex publication_date 2015/01/26 · arxiv updated 2015/01/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We consider the intersection map on the family of non-empty ω-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction onto the space of countably compact subsets of the space equipped with (the sequentialisation of) the upper Vietoris topology. This class consists of all sequential spaces which are sequentially Hausdorff.