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

DOI10.1017/S096012951300025XzbMath1362.54030arXiv1311.0330OpenAlexW3101348072WikidataQ61927007 ScholiaQ61927007MaRDI QIDQ5740666

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

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

Related Items (7)

Non-collapse of the effective Wadge hierarchy ⋮ Towards the Effective Descriptive Set Theory ⋮ Unnamed Item ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ On the main scientific achievements of Victor Selivanov ⋮ A generalization of a theorem of Hurewicz for quasi-Polish spaces ⋮ Non-collapse of the effective wadge hierarchy

Cites Work

• Unnamed Item
• Unnamed Item
• Turing complexity of the ordinals
• Towards a descriptive set theory for domain-like structures
• Stationary strategies in topological games
• On strongly quasi-metrizable spaces
• Quasi-Polish spaces
• Topological complexity with continuous operations
• Hierarchies in?-spaces and applications
• Recursive well-orderings
• Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
• Stationary and convergent strategies in Choquet games
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Wadge Degrees ofω-Languages of Deterministic Turing Machines
• Continuous Lattices and Domains
• On the Difference Hierarchy in Countably Based T0-Spaces

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