Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization
From MaRDI portal
Publication:5740666
DOI10.1017/S096012951300025XzbMath1362.54030arXiv1311.0330WikidataQ61927007 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
03E15: Descriptive set theory
91A44: Games involving topology, set theory, or logic
54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)
Related Items
A generalization of a theorem of Hurewicz for quasi-Polish spaces, Non-collapse of the effective Wadge hierarchy, Unnamed Item, On the main scientific achievements of Victor Selivanov, Non-collapse of the effective wadge hierarchy, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, Towards the Effective Descriptive Set Theory
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