Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization

DOI10.1017/S096012951300025XMaRDI QIDQ5740666zbMATH OpenOpenAlexWikidataFDO

Authors Verónica Becher, Serge Grigorieff

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1311.0330

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: What parts of classical descriptive set theory done in Polish spaces still hold for more general topological spaces, possibly T0 or T1, but not T2 (i.e. not Hausdorff)? This question has been addressed by Victor Selivanov in a series of papers centered on algebraic domains. And recently it has been considered by Matthew de Brecht for quasi-Polish spaces, a framework that contains both countably based continuous domains and Polish spaces. In this paper we present alternative unifying topological spaces, that we call approximation spaces. They are exactly the spaces for which player Nonempty has a stationary strategy in the Choquet game. A natural proper subclass of approximation spaces coincides with the class of quasi-Polish spaces. We study the Borel and Hausdorff difference hierarchies in approximation spaces, revisiting the work done for the other topological spaces. We also consider the problem of effectivization of these results.

Recommendations

• scientific article; zbMATH DE number 2168827
• \(D\)-spaces, topological games, and selection principles
• Classes of Baire spaces defined by topological games
• Baire generalized topological spaces, generalized metric spaces and infinite games
• Topological games of bounded selections
• Bornologies, topological games and function spaces
• scientific article; zbMATH DE number 1841930
• Topological games and strong quasi-continuity
• Gδ -sets in topological spaces and games
• On generalizations of topological games

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Continuous Lattices and Domains
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
• Hierarchies in?-spaces and applications
• On strongly quasi-metrizable spaces
• On the difference hierarchy in countably based \(T_{0}\)-spaces
• Quasi-Polish spaces
• Recursive well-orderings
• Stationary and convergent strategies in Choquet games
• Stationary strategies in topological games
• Topological complexity with continuous operations
• Towards a descriptive set theory for domain-like structures
• Turing complexity of the ordinals
• Wadge Degrees ofω-Languages of Deterministic Turing Machines

Cited in

(8)

• Quasi-Polish spaces
• On the main scientific achievements of Victor Selivanov
• scientific article; zbMATH DE number 7093560 (Why is no real title available?)
• Non-collapse of the effective Wadge hierarchy
• A generalization of a theorem of Hurewicz for quasi-Polish spaces
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Towards the Effective Descriptive Set Theory
• Non-collapse of the effective wadge hierarchy

This page was built for publication: Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740666)