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

DOI10.1017/S096012951300025XzbMATH Open1362.54030arXiv1311.0330OpenAlexW3101348072WikidataQ61927007 ScholiaQ61927007MaRDI QIDQ5740666FDOQ5740666

Authors: Verónica Becher, Serge Grigorieff 

Publication date: 27 July 2016

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

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.

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

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

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)

Cites Work

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

Cited In (8)

• Quasi-Polish spaces
• On the main scientific achievements of Victor Selivanov
• Title not available (Why is that?)
• 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)